Crate snarkvm_posw[−][src]
Modules
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.
Functions
Subtree calculation
Type Definitions
GM17Deprecated
GM17 type alias for the PoSW circuit
Marlin proof system on PoSW
A generic PoSW.
PoSW instantiated over BLS12-377 with Marlin.