# Proof aggregation
**URL:** https://forum.anoma.net/c/rm/proof-aggregation/94.md
[Latest](https://forum.anoma.net/latest.md) · [Categories](https://forum.anoma.net/categories.md) · [Tags](https://forum.anoma.net/tags.md)
---
## [About the Proof aggregation category](https://forum.anoma.net/t/about-the-proof-aggregation-category/1634)
**Author:** [@vveiln](https://forum.anoma.net/u/vveiln)\
**Replies:** 0
---
## [A suggested aggregation interface](https://forum.anoma.net/t/a-suggested-aggregation-interface/1711)
**Author:** [@kike](https://forum.anoma.net/u/kike)\
**Replies:** 2\
**Last updated:** [July 7, 2025, 1:33pm UTC](https://forum.anoma.net/t/a-suggested-aggregation-interface/1711 "2025-07-07T13:33:19Z")
Compliance and logic relations For a program\[1\] \\mathsf P, let the image set \\mathcal L\_{\\mathsf P} := \\{u\\ |\\ \\exists w\\text{ s.t. } \\mathsf P (w)=u\\}. In the context of the resource machine, this captures both, comp…
---
## [Recursive proof aggregation](https://forum.anoma.net/t/recursive-proof-aggregation/1643)
**Author:** [@kike](https://forum.anoma.net/u/kike)\
**Replies:** 8\
**Last updated:** [July 2, 2025, 11:32am UTC](https://forum.anoma.net/t/recursive-proof-aggregation/1643 "2025-07-02T11:32:10Z")
In this post I will explain a concrete technique to aggregate all the proofs of a final (balanced) transaction. It is yet to be tested in practice. Pointing out mistakes, improvements, or opinions are welcome. Given a p…
---
## [Proof aggregation questions](https://forum.anoma.net/t/proof-aggregation-questions/1649)
**Author:** [@vveiln](https://forum.anoma.net/u/vveiln)\
**Replies:** 0\
**Last updated:** [June 23, 2025, 8:01am UTC](https://forum.anoma.net/t/proof-aggregation-questions/1649 "2025-06-23T08:01:26Z")
The following contains a list of questions to answer about proof aggregation that we identified during the cryptography team meeting. I might edit the post adding answers to these questions so we can reference this post …