documentation
Documentation
Engineering notes, circuit reference, security model, academic references.
- 01
Architecture
Four-layer system: submission, proving (SP1 + Nova folding), verification (Anchor on Solana devnet), marketplace.
read → - 02
Circuit reference
Five SP1 guest programs — scoring, aggregation, median, sort, ml-inference. Input/output signatures, test counts.
read → - 03
Security
Trust model, threat model, boundary checks for client/api/verifier. Disclosure bounty schedule.
read → - 04
Academic references
SP1, Risc0, Jolt, Nova, SuperNova, recursive SNARKs (Bitansky/Chiesa/Tromer), verifiable ML.
read →