kariy / starkmintLinks
☆13Updated 2 years ago
Alternatives and similar repositories for starkmint
Users that are interested in starkmint are comparing it to the libraries listed below
Sorting:
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- ☆40Updated 3 years ago
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated 2 years ago
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆24Updated last month
- ☆40Updated 3 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 10 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- ☆28Updated 3 years ago
- ☆18Updated 2 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Updated 3 years ago
- Example of an ERC20 bridge for tokens minted on StarkNet layer 2☆15Updated 2 years ago
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13Updated 3 years ago
- Poseidon Rust library☆38Updated 2 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- Groth16 verifier in EVM☆22Updated 2 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ECDSA gadgets for plonky2☆19Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- powdr application running Ethereum tests via revm☆17Updated last year
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Updated 3 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- ☆26Updated last week
- Early prototype.☆23Updated 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…☆20Updated 2 years ago
- Verifying Cairo Programs in SP1☆14Updated 11 months ago
- ☆17Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago