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
Sorting:
- ☆40Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- ☆40Updated 3 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Computes SHA256 of arbitrary length inputs.☆14Updated 2 years ago
- ☆50Updated last year
- client side proving☆28Updated 2 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- Early prototype.☆23Updated 2 years ago
- trusted setup MPC tools☆12Updated 5 years ago
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Exploratory work on abigen in rust for Starknet 🦀☆15Updated last year
- Documentation generator for Cairo projects.☆14Updated 2 years ago
- Groth16 verifier in EVM☆21Updated last year
- RLN on KZG☆20Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- verify cairo execution in Halo2☆16Updated last year
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- Verifying Cairo Programs in SP1☆14Updated 7 months ago
- an introduction to noir, with simple examples☆45Updated last year
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆33Updated 2 years ago
- ☆18Updated 2 years ago
- ☆33Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year