ZK-Hack / puzzle-gamma-ray
☆21Updated last year
Alternatives and similar repositories for puzzle-gamma-ray:
Users that are interested in puzzle-gamma-ray are comparing it to the libraries listed below
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆33Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- RISC-V ELF interpreter in cairo☆35Updated 3 months ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- ECDSA gadgets for plonky2☆17Updated last year
- Mozak RISC-V Virtual Machine☆24Updated 2 weeks ago
- ☆39Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆46Updated last month
- ☆28Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated last year
- plonky2 implementation of bn254 pairing☆18Updated 11 months ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 3 months ago
- ☆11Updated last year
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- Cryptographic protocols☆37Updated last year
- ☆34Updated 3 months ago
- ☆48Updated 10 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- RLN circuits in Circom☆29Updated 6 months ago
- ☆39Updated 2 years ago