NethermindEth / optimized_ecc_cairo
Cairo implementation of operations over the elliptic curve BLS12-381
☆14Updated 2 years ago
Alternatives and similar repositories for optimized_ecc_cairo:
Users that are interested in optimized_ecc_cairo are comparing it to the libraries listed below
- ☆39Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- ☆40Updated 3 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- ☆17Updated 2 years ago
- ☆49Updated last year
- Andromeda revm execution service☆31Updated 8 months ago
- ☆31Updated last year
- Computes SHA256 of arbitrary length inputs.☆14Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Documentation generator for Cairo projects.☆14Updated 2 years ago
- client side proving☆28Updated 2 weeks ago
- Verifying Cairo Programs in SP1☆13Updated 5 months ago
- A graph library built with Cairo☆28Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Exploratory work on abigen in rust for Starknet 🦀☆15Updated last year
- Cairo hooks for pre-commit☆17Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Early prototype.☆23Updated last year
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated 2 years ago
- verify cairo execution in Halo2☆16Updated last year
- Groth16 verifier in EVM☆20Updated last year
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14Updated 10 months ago
- Axiom smart contracts☆26Updated last year