proof

Directories

Name
circuits

Files

Name
proof/GeniusAssigner.cpp Source file of the assigner from bytecode to circuit.
proof/GeniusAssigner.hpp Header file of the assigner from bytecode to circuit.
proof/GeniusProver.cpp Source file of the prover from circuit to zkproof.
proof/GeniusProver.hpp Header file of the prover from circuit to zkproof.
proof/IBasicProof.cpp
proof/IBasicProof.hpp Base proof class header file.
proof/NilFileHelper.hpp
proof/ProcessingProof.cpp
proof/ProcessingProof.hpp Derived class for generating and verifying processing proofs.
proof/RecursiveTransferProof.cpp Source file of the Recursive Transfer Proof.
proof/RecursiveTransferProof.hpp Header file of the RecursiveTransferProof.
proof/TransferProof.cpp
proof/TransferProof.hpp Derived class for generating and verifying transfer proofs.

---

Updated on 2026-04-15 at 11:00:40 -0700