Skip to content

For updates follow @anoma on and discuss on our forum

Anoma specs v1.0.0

Proof aggregation

Initializing search

Anoma specs

Latest version (v1.0.0)
Development version

Home
Anoma architecture
Changelog
Indexes
Indexes
- List of tags
- List of modules
System architecture
System architecture
- Identity Architecture
- State Architecture
  State Architecture
  - Resource Machine
  - Shielded resource machine
    
    Shielded resource machine
    
    Global state
    
    Proving
    
    Proving
    
    Risc0
    
    Delta proofs
    
    Proof aggregation
    
    Resource
    
    Compliance
    
    Action
    
    Keys
    
    Features
Integrations
Integrations
- Protocol Adapters
Tutorials
Tutorials
- Contributor guidelines

Home
System architecture
State Architecture
Shielded resource machine
Proving

Proof aggregation¶

TBD

Was this page helpful?

Thanks for your feedback!

Thanks for your feedback! We'll try to improve this page in the future.

Powered by Mkdocs, Material 9.6.12-insiders-4.53.16 and Juvix v0.6.10

Version: v1.0.0 - Updated: October 20, 2025 at 12:35 PM UTC
Latest version: https://specs.anoma.net/latest
Development version: https://specs.anoma.net/main
Anoma Official Resources: Website | Research | Blog | Talks
For Specification Authors: Tags | Quick links | Juvix modules | Guides