Crate snarkvm_posw 

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 Aliases

GM17Deprecated

GM17 type alias for the PoSW circuit

Marlin

Marlin proof system on PoSW

Posw

A generic PoSW.

PoswMarlin

PoSW instantiated over BLS12-377 with Marlin.