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

#2709 in Cryptography


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.2–2MB
~41K SLoC