Lib.rs

› Cryptography › risc0-zkp-sys
#finite-fields #zero-knowledge-proofs #numbers #zk-stark #virtual-machine #transform #field

risc0-zkp-core

RISC Zero zero-knowledge proof system core crate

Owned by Frank Laub, risc0.

12 releases (7 breaking)

0.10.0 Jun 24, 2022
0.9.0 Jun 11, 2022
0.8.0 Jun 9, 2022
0.7.2 May 27, 2022
0.1.0 Apr 26, 2022

#12 in #zk-stark

Download history 2/week @ 2024-11-13 8/week @ 2024-11-20 12/week @ 2024-11-27 15/week @ 2024-12-04 26/week @ 2024-12-11 5/week @ 2024-12-18 16/week @ 2025-01-08 6/week @ 2025-01-15 13/week @ 2025-02-05 16/week @ 2025-02-12 6/week @ 2025-02-19 21/week @ 2025-02-26

56 downloads per month
Used in 8 crates (5 directly)

Apache-2.0

55KB
1K SLoC

risc0_zkp_core

This crate contains the core objects that are used by the ZK-STARK prover and verifier.

This includes support for:

  • [fp]: the base finite field
  • [fp4]: the extension finite field
  • [ntt]: Number Theoretic Transform
  • [sha]: SHA256 hashing support
  • [sha_rng]: Cryptographic Random Number Generator (CRNG) based on SHA
  • other basic ZKP utilities

Dependencies

~1.4–2.2MB
~49K SLoC