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