Module snarkvm_posw::circuit [−][src]
Expand description
Implements a Proof of Succinct work circuit. The inputs are opaque leaves, which are then used to build a tree instantiated with a masked Pedersen hash. The prover inputs a mask computed as Blake2s(nonce || root), which the verifier also checks.
Structs
POSWCircuit |
Traits
POSWCircuitParameters | Enforces sizes of the mask and leaves. |