Lib.rs

› Cryptography › risc0-zkp
#zkp #stark #risc-v #zero-knowledge #virtual-machine #fp #verifier #risc #zero #verifiable

risc0-zkp-core

RISC Zero zero-knowledge proof system core crate

by Frank Laub and 20 contributors. Co-owned by 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

#674 in Cryptography

Download history 15/week @ 2022-11-27 21/week @ 2022-12-04 40/week @ 2022-12-11 22/week @ 2022-12-18 17/week @ 2022-12-25 6/week @ 2023-01-01 21/week @ 2023-01-08 9/week @ 2023-01-15 23/week @ 2023-01-22 36/week @ 2023-01-29 29/week @ 2023-02-05 41/week @ 2023-02-12 70/week @ 2023-02-19 44/week @ 2023-02-26 22/week @ 2023-03-05 8/week @ 2023-03-12

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

Apache-2.0

53KB
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.5–2.2MB
~49K SLoC