zkPetoron-Core
PH2-based zero-knowledge proof and attestation core in C++20
zkPetoron-Core is a standalone zero-knowledge proof and attestation core implemented in modern C++20.
Built on PetoronHash2 (PH2), the project provides a complete proof pipeline including transcript generation, commitments, Merkle structures, AIR validation, FRI verification, proof artifacts, statements, bundles and attestations.
Components:
• Transcript Layer
• Commitment Layer
• Merkle Layer
• AIR Validation
• FRI Verification
• Prover / Verifier Pipeline
• Vault Runtime
•...