leanEthereum / leanMultisigLinks
β39Updated this week
Alternatives and similar repositories for leanMultisig
Users that are interested in leanMultisig are comparing it to the libraries listed below
Sorting:
- β27Updated 6 months ago
- Mikan π: The ZK Friendly DA Layer for Bitcoin L2sβ24Updated last week
- β55Updated 3 weeks ago
- Lean Ethereum protocol specifications and test vector generation framework.β55Updated this week
- client side provingβ36Updated 7 months ago
- Solidity implementation of Nova proving system verifierβ64Updated last year
- Noir implementation of RSA-verifyβ43Updated last year
- A verifiable supercomputerβ74Updated 4 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to useβ55Updated 6 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.β42Updated last month
- A pqSNARK with lightweight proofs, powered by the Whir PCS.β38Updated last month
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max powerβ47Updated this week
- zkVM benchmarking for Ethereumβ33Updated last week
- A FRI verifier circuit for the Halo2 proof systemβ76Updated 2 years ago
- EraVM implementationβ19Updated last year
- barretenburg in rust (here we go)β99Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratchβ28Updated last year
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated 11 months ago
- Extractable Witness Encryption for KZG Commitmentsβ29Updated 10 months ago
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof teβ¦β37Updated last year
- Rust implementation of KZG point evaluationβ33Updated 2 months ago
- Proof system backends for OpenVM.β32Updated this week
- A collection of ZK light client libraries for various blockchainsβ62Updated 10 months ago
- β42Updated last year
- A ZK-VM for the Brainfuck language, based on Stwoβ32Updated 6 months ago
- Verify a chain of x509 certificates in halo2β31Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPUβ39Updated 8 months ago
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β67Updated 2 years ago
- Ethereum zkEVM bookβ75Updated 3 weeks ago
- Honk Verifier in Solidityβ50Updated last year