starkware-libs / starkex-contractsView external linksLinks
☆291Jul 1, 2025Updated 7 months ago
Alternatives and similar repositories for starkex-contracts
Users that are interested in starkex-contracts are comparing it to the libraries listed below
Sorting:
- ☆236Jul 27, 2023Updated 2 years ago
- ☆83Jul 3, 2024Updated last year
- ☆80Nov 11, 2020Updated 5 years ago
- ☆1,369Feb 1, 2026Updated last week
- ☆267Sep 16, 2024Updated last year
- ☆56Nov 22, 2023Updated 2 years ago
- Papyrus is a StarkNet full node written in Rust.☆322Dec 26, 2024Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆168May 15, 2025Updated 8 months ago
- ☆23Nov 17, 2022Updated 3 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Dec 15, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- Bridge interface allows users to transfer ERC20 tokens from Ethereum to StarkNet and vice versa.☆157Jan 1, 2026Updated last month
- JavaScript SDK for StarkEx☆32Nov 9, 2023Updated 2 years ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group with extra features needed by the Dusk-Network team☆23Feb 2, 2026Updated last week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,869Updated this week
- Collection of Useful Bridge Building Tools 🏗️☆14Jan 11, 2021Updated 5 years ago
- A Cairo VM prover implemented using Winterfell☆156Aug 25, 2022Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- The Zinc language public repository☆309Nov 25, 2024Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆94Feb 5, 2026Updated last week
- ☆34Feb 2, 2023Updated 3 years ago
- ☆10Oct 8, 2025Updated 4 months ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to …☆748Aug 26, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆508Updated this week
- The Fusotao node.☆50Aug 31, 2023Updated 2 years ago
- STARK-based virtual machine☆724Updated this week
- Celestia Data Availability Nodes☆990Feb 7, 2026Updated last week
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Implementation of the system contracts☆202Mar 18, 2024Updated last year
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62May 2, 2023Updated 2 years ago
- ☆22Aug 19, 2024Updated last year
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- ☆28Dec 15, 2023Updated 2 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year