bcc-research / CryptoUtilitiesNotebooks
Notebooks showing how to use CryptoUtilities
☆11Updated last week
Alternatives and similar repositories for CryptoUtilitiesNotebooks:
Users that are interested in CryptoUtilitiesNotebooks are comparing it to the libraries listed below
- ☆26Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- plonky2 implementation of bn254 pairing☆18Updated last year
- ☆33Updated last year
- We're living in Obfustopia☆23Updated 3 months ago
- Benchmarking Polynomial Commitments☆49Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Early prototype.☆23Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 4 months ago
- ☆50Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆25Updated 4 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆16Updated this week
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- ☆11Updated last year
- ☆28Updated 6 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- polynomial commitments from linear codes☆41Updated 4 months ago
- ☆12Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆27Updated last week
- BN254 Pairing Implementation in Noir☆22Updated last year
- ☆9Updated last year
- Vectorized AVX-512 256-bit arithmetic library☆30Updated 6 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- ☆14Updated last year
- client side proving☆28Updated last month
- 🪩 verify plonky3 proofs in plonky2☆18Updated last year
- ☆27Updated this week