Community edition of Nightfall_4
☆18Oct 22, 2026Updated last week
Alternatives and similar repositories for nightfall_4_CE
Users that are interested in nightfall_4_CE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated last year
- ☆28Apr 7, 2026Updated 6 months ago
- ☆11Sep 10, 2024Updated 2 years ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 9 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 14, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A website dedicated to collecting information from the nostr network☆12Aug 31, 2025Updated last year
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆22Sep 18, 2026Updated last month
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Chatroom game where humans hunt the AI infiltrator | Built with Eliza ❤️☆11Sep 26, 2025Updated last year
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated last year
- Javascript implementation of JSON diff according to RFC6902☆11Apr 17, 2016Updated 10 years ago
- ☆52Oct 10, 2023Updated 3 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A multisig Wallet for the Cardano Ecosystem☆11Sep 5, 2026Updated last month
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated last year
- A monorepo for vOPRF-based secure nullifiers☆24Apr 13, 2025Updated last year
- Extracting the semantics of Noir to Lean for E2E formal verification of circuits☆43Oct 21, 2026Updated last week
- Semaphore v4 implemented in Rust☆12Oct 7, 2025Updated last year
- Synthesis of Formally Verified Cryptographic Primitives☆18Updated this week
- ☆13Mar 14, 2024Updated 2 years ago
- ☆12Dec 12, 2025Updated 10 months ago
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A lattice-based non-interactive folding scheme written in Rust☆131May 1, 2026Updated 5 months ago
- ☆19May 5, 2020Updated 6 years ago
- Implementation of the PLUME protocol in Noir.☆14Nov 14, 2024Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆19Sep 26, 2024Updated 2 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- zkSnark circuit compiler☆13Oct 21, 2026Updated last week
- Hodl portfolio☆11May 24, 2026Updated 5 months ago
- Tutorial: deploy privacy preserving application on Ztarknet☆19Nov 20, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- Rust language proof-carrying data framework☆60Updated this week
- ☆23Updated this week
- A verifiable supercomputer☆79Jun 26, 2025Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Mar 19, 2024Updated 2 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆25Oct 22, 2026Updated last week
- Experimental folding schemes library☆288Jul 26, 2026Updated 3 months ago