lucasgleba / zkSubleqView external linksLinks
A zero-knowledge virtual machine with only one instruction
☆13Mar 3, 2022Updated 3 years ago
Alternatives and similar repositories for zkSubleq
Users that are interested in zkSubleq are comparing it to the libraries listed below
Sorting:
- A Risc-V CPU implemented as a zk-SNARK☆51Sep 4, 2022Updated 3 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- Elliptic Curve arithmetic operations written in Noir☆16Dec 31, 2022Updated 3 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Apr 10, 2023Updated 2 years ago
- Mirror your Optimism NFTs on Ethereum☆31Nov 10, 2022Updated 3 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Dec 6, 2022Updated 3 years ago
- A library for working with mutable byte buffers in Solidity.☆29Mar 8, 2024Updated last year
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆11Mar 19, 2024Updated last year
- ☆11Aug 20, 2024Updated last year
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- 🏗 forkable Ethereum dev stack focused on fast product iterations☆10Aug 28, 2021Updated 4 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- ☆16Nov 22, 2022Updated 3 years ago
- ☆16Aug 8, 2023Updated 2 years ago
- Historical L1Block snapshotter for OP Stack chains☆16Jul 12, 2023Updated 2 years ago
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 2 years ago
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- essentialist neural network transpiler for non-floating-point runtimes☆30Nov 7, 2022Updated 3 years ago
- ☆16Dec 2, 2025Updated 2 months ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Oct 31, 2025Updated 3 months ago
- Standard Exit Format for L2s built on EVM chains☆17Jul 16, 2024Updated last year
- ☆13Nov 10, 2023Updated 2 years ago
- ZK-based engine for self-sovereign SQL queries☆90Jul 28, 2022Updated 3 years ago
- ☆14Dec 13, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆81Apr 9, 2019Updated 6 years ago
- official optimism merch instructions☆39Sep 24, 2021Updated 4 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Jul 4, 2022Updated 3 years ago
- Tells you what anyone did this week on GitHub.☆18May 23, 2025Updated 8 months ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Jun 22, 2023Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Aug 24, 2023Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago