FlynnSC / zk-huntView external linksLinks
An onchain game which explores different ZK game mechanics and information asymmetry
☆96Oct 10, 2023Updated 2 years ago
Alternatives and similar repositories for zk-hunt
Users that are interested in zk-hunt are comparing it to the libraries listed below
Sorting:
- ☆36Apr 16, 2023Updated 2 years ago
- ERC1155 and ERC721 Systems that use components to store data☆22Feb 11, 2025Updated last year
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 2 years ago
- ☆64Jul 24, 2024Updated last year
- Emojimon: a MUD tutorial☆37Jul 4, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- ☆12Oct 8, 2025Updated 4 months ago
- a tragicomic npc survival sim☆10Feb 24, 2023Updated 2 years ago
- Private treasuries enabled by ECDH and ZKPs☆17Mar 31, 2023Updated 2 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 2 years ago
- A secure, fast, and easy-to-use random number generator for on-chain games built using MUD.☆56Jun 2, 2023Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated last year
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Jul 25, 2023Updated 2 years ago
- Concrete is a framework for building application-specific rollups on the OP Stack☆48Sep 7, 2024Updated last year
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Jul 11, 2023Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆218Dec 5, 2023Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- Playing with zero-knowledge proof languages☆107Jan 26, 2023Updated 3 years ago
- An EVM decompiler written in Rust.☆47Nov 24, 2022Updated 3 years ago
- ☆50Mar 7, 2024Updated last year
- Cross-chain message testing for Arbitrum with Foundry☆67Mar 22, 2023Updated 2 years ago
- Game server architecture to bootstrap any game. Define data types, tx handlers in minutes☆104Jan 8, 2024Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆277Aug 26, 2025Updated 5 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago