Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN
☆11Sep 28, 2025Updated 5 months ago
Alternatives and similar repositories for ff1
Users that are interested in ff1 are comparing it to the libraries listed below
Sorting:
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- ☆24Mar 2, 2025Updated last year
- ☆16Feb 9, 2026Updated last month
- Verifiable FHE with GKR☆27Oct 5, 2024Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- ☆14Oct 19, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆46Updated this week
- ☆26Apr 15, 2025Updated 10 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- A two-day event focused on high-performance, bleeding edge crypto infrastructure. By open source engineers, for open source engineers.☆38Aug 13, 2025Updated 6 months ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- ☆54Jun 7, 2025Updated 9 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 11 months ago
- zk-SNARK WASM circuit compiler☆16Jun 2, 2025Updated 9 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- JSON-RPC, simplified, using tower and axum☆79Feb 15, 2026Updated 3 weeks ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- The Warp academy - a set of tutorials that introduce into smart contracts development in Warp☆17Apr 27, 2024Updated last year
- Reader for ICAO 9303 electronic machine readable travel documents.☆40Feb 21, 2025Updated last year
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆29Aug 4, 2025Updated 7 months ago
- ☆18Apr 11, 2025Updated 10 months ago
- Rust crate to generate and verify proofs for Noir circuits☆27Updated this week
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- Read dex state (e.g. Uniswap) from reth db☆30Oct 20, 2024Updated last year
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 7 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆60Nov 22, 2025Updated 3 months ago
- ☆28Oct 31, 2025Updated 4 months ago
- Rust time library comparison - shootout to see which crate handles common tasks the best☆21Aug 18, 2025Updated 6 months ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 10 months ago
- Uniswap V4 Vanity Miner☆30May 31, 2025Updated 9 months ago