lambdaclass / lambdaworks_kzgView external linksLinks
An ABI compatible for KZG EIP-4844 in Rust
☆23Jun 2, 2023Updated 2 years ago
Alternatives and similar repositories for lambdaworks_kzg
Users that are interested in lambdaworks_kzg are comparing it to the libraries listed below
Sorting:
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 2 years ago
- Poseidon Rust library☆38Mar 13, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Server for ZKML☆21Mar 5, 2023Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 2 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 2 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- barretenburg in rust (here we go)☆99Jan 10, 2024Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆41Sep 7, 2024Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆20Aug 15, 2023Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- ☆31Oct 9, 2022Updated 3 years ago
- an introduction to noir, with simple examples☆44Jan 8, 2024Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- ☆14May 19, 2022Updated 3 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- Scaling Ethereum, but this time in rust.☆90Apr 23, 2023Updated 2 years ago
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week
- OS for next iteration of the world computer☆43Aug 24, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- ☆21Jan 26, 2026Updated 2 weeks ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year