vacekj / air-fried-gyattView external linksLinks
Breathe air
☆25May 19, 2024Updated last year
Alternatives and similar repositories for air-fried-gyatt
Users that are interested in air-fried-gyatt are comparing it to the libraries listed below
Sorting:
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- ☆18Updated this week
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 9, 2026Updated last week
- ☆13Nov 10, 2023Updated 2 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆79Feb 5, 2026Updated last week
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Circuit infrastructure for Aztec 3.0☆14Apr 26, 2023Updated 2 years ago
- Aztecscan - the Aztec block explorer, running locally against sandbox. Or our publicly deployed version with Testnet indexed.☆16Updated this week
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆17May 19, 2024Updated last year
- An SDK for building trust infrastructure☆15Nov 15, 2024Updated last year
- Batteries included command line interfaces.☆22Jul 18, 2023Updated 2 years ago
- An observatory fork of SP1☆77Feb 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
- Pluto Web Prover 🦀☆39Mar 18, 2025Updated 10 months ago
- Efficient beacon chain batch deposit contract written in huff☆22Oct 1, 2023Updated 2 years ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 9 months ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 10 months ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year
- ☆23Jun 12, 2025Updated 8 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆22Nov 14, 2024Updated last year
- A fully onchain space-based factory-building game, built with MUD & Phaser.☆27Feb 6, 2025Updated last year
- ☆10May 18, 2023Updated 2 years ago
- A contract for selling NFTs in an exponential price decay auction☆39Feb 17, 2023Updated 3 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Email verification circuit in halo2☆68Jul 3, 2024Updated last year
- Cheaper (up to 35k gas) Create3 deployments for small sized contracts (<= ~3.6KB).☆30Jan 28, 2025Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.☆11Nov 2, 2023Updated 2 years ago