2025 core program
☆21Dec 28, 2025Updated 2 months ago
Alternatives and similar repositories for core-program
Users that are interested in core-program are comparing it to the libraries listed below
Sorting:
- BFV implementation in Python☆27Jul 16, 2024Updated last year
- Rust examples of zero knowledge proofs (ZKP) running on the Internet Computer blockchain.☆12Feb 8, 2023Updated 3 years ago
- A monorepo for vOPRF-based secure nullifiers☆22Apr 13, 2025Updated 10 months ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Oct 3, 2019Updated 6 years ago
- ☆26Feb 25, 2024Updated 2 years ago
- Private authentic photo sharing using ZKP☆25Apr 17, 2023Updated 2 years ago
- ☆12Sep 6, 2023Updated 2 years ago
- Groth16 over ICICLE☆44Jul 16, 2025Updated 7 months ago
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- CanDB - CanDB is a flexible, performant, and horizontally scalable non-relational multi-canister data storage framework built for the Int…☆32Mar 20, 2024Updated last year
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 7 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Apr 20, 2023Updated 2 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆36Oct 18, 2024Updated last year
- hyrax-pcs-commit repository☆14Dec 16, 2025Updated 2 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆213Updated this week
- Simple example of motoko outcalls☆10Aug 21, 2024Updated last year
- ☆39Jan 8, 2024Updated 2 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- ☆11Jan 28, 2023Updated 3 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- ☆41Jan 7, 2024Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- ☆12Nov 21, 2022Updated 3 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- ☆11Mar 2, 2024Updated 2 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 3 months ago
- ☆11Jul 20, 2023Updated 2 years ago
- Vue TypeScript Chrome Extension Template Project☆11Mar 2, 2023Updated 3 years ago
- Paris attacks searches interactive visualization☆11May 12, 2016Updated 9 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- ☆13Aug 10, 2024Updated last year
- Propose standards for dfinity NFT tokens☆11Mar 4, 2022Updated 3 years ago