# About the Execution proof category

**URL:** <https://forum.anoma.net/t/about-the-execution-proof-category/1806>\
**Category:** Execution proof\
**Created:** [July 16, 2025, 9:01am UTC](https://forum.anoma.net/t/about-the-execution-proof-category/1806 "2025-07-16T09:01:06Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![vveiln](https://dub1.discourse-cdn.com/flex013/user_avatar/forum.anoma.net/vveiln/32/60_2.png) [@vveiln](https://forum.anoma.net/u/vveiln)\
**Post date:** [July 16, 2025, 9:01am UTC](https://forum.anoma.net/t/about-the-execution-proof-category/1806/1 "2025-07-16T09:01:06Z")

</div>

This category is dedicated to discussing the succinct proof that verifies out-of-circuit checks required by the resource machine.