risc0-povw 0.4.3

Core library for RISC Zero Proof of Verifiable Work (PoVW)

Coverage
100%
96 out of 96 items documented0 out of 18 items with examples
Size
Source code size: 629.53 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 6.46 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 37s Average build duration of successful builds.
all releases: 1m 42s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
risc0/risc0
2188 737 137
crates.io
Dependencies
Versions
Owners

Proof of Verifiable Work (PoVW) implementation.

This crate provides Merkle tree-based data structures for tracking and proving work completed during ZK proof generation. The main components include:

[WorkSet]: Top-level container for multiple work logs
[WorkLog]: Collection of jobs within a single prover's work log
[Job]: Representation of a range of used nonces in a job (i.e. a single continuation)
[Bitmap]: 256-bit bitmap for efficient nonce tracking

The implementation uses Merkle trees to enable efficient proofs of inclusion and non-inclusion for nonces, supporting the PoVW system's requirement to prevent double-counting of work.