☆37Nov 22, 2022Updated 3 years ago
Alternatives and similar repositories for puzzle-zero-sum-game
Users that are interested in puzzle-zero-sum-game are comparing it to the libraries listed below
Sorting:
- 👓☆15Jan 20, 2023Updated 3 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- GitHub action that installs huffc☆17Mar 22, 2023Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- 🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎☆14Oct 8, 2023Updated 2 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- A new type of zk-EVM for L2 rollup☆10Feb 1, 2025Updated last year
- ☆41Aug 31, 2023Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated last year
- ☆13Sep 18, 2023Updated 2 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup☆31Dec 16, 2025Updated 2 months ago
- ☆14Dec 13, 2024Updated last year
- Code used in a recent presentation showing off noir storage proofs☆15Jul 30, 2023Updated 2 years ago
- zkDrop: A private lottery airdrop system using zero-knowledge proofs to preserve privacy and anonymity☆13May 28, 2022Updated 3 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- Build your zkp app with typescript, hardhat, circom, and snarkjs!☆226Dec 12, 2023Updated 2 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- ☆33Sep 22, 2023Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- ☆19Jan 20, 2023Updated 3 years ago
- A Hardhat plugin to test Huff contracts☆14Jan 8, 2024Updated 2 years ago
- Base64 encoding for Aztec's noir language☆16Jan 3, 2024Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- ☆18Mar 28, 2023Updated 2 years ago
- ☆19May 5, 2020Updated 5 years ago
- ☆46Jul 25, 2022Updated 3 years ago