Framework to prove inference of ML models blazingly fast

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Crynux Node

Bridge interface allows users to transfer ERC20 tokens from Ethereum to StarkNet and vice versa.

StarkNet wallet <-> dApp bridge

The main repo for starknet.io

JavaScript library for StarkNet

DavionLabs Perpetual StarkEx Configuration

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Papyrus is a StarkNet full node written in Rust.

Cairo is the first Turing-complete language for creating provable programs for general computation.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

This project demonstrates how to use hardhat or foundry to deploy a contract to Scroll's zkEVM rollup

Scroll's Monorepo

zkSync Era Block Explorer

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Implementation of the system contracts

Smart Contract Submodule For zkSync Era

[DEPRECATED ]Full examples for tutorials in the zkSync Era documentation. Visit: https://github.com/matter-labs/tutorials

Circuit Implementation of zkVM for zkSync Era

zkSync era

Sea protocol is the ultimate DEX base on order-book & AMM on Aptos & Sui.Anybody has the right to trade any asset anywhere, anytime!