src/proof¶
Directories¶
| Name |
|---|
| src/proof/circuits |
Files¶
| Name |
|---|
| src/proof/GeniusAssigner.cpp Source file of the assigner from bytecode to circuit. |
| src/proof/GeniusAssigner.hpp Header file of the assigner from bytecode to circuit. |
| src/proof/GeniusProver.cpp Source file of the prover from circuit to zkproof. |
| src/proof/GeniusProver.hpp Header file of the prover from circuit to zkproof. |
| src/proof/IBasicProof.cpp |
| src/proof/IBasicProof.hpp Base proof class header file. |
| src/proof/NilFileHelper.hpp |
| src/proof/ProcessingProof.cpp |
| src/proof/ProcessingProof.hpp Derived class for generating and verifying processing proofs. |
| src/proof/RecursiveTransferProof.cpp Source file of the Recursive Transfer Proof. |
| src/proof/RecursiveTransferProof.hpp Header file of the RecursiveTransferProof. |
| src/proof/TransferProof.cpp |
| src/proof/TransferProof.hpp Derived class for generating and verifying transfer proofs. |
Updated on 2026-03-04 at 13:10:44 -0800