zkpepe

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

Libraries for finite field, elliptic curve, and polynomial arithmetic

Ethereum smart contract fuzzer

MUD is a framework for building autonomous worlds

Solidity Static Analyzer that easily integrates into your editor

Run an Ethereum node, solo stake ETH and connect dApps to your server with Stereum Ethereum Node Setup & Manager!

A library implementing GPU-accelerated cryptographic functionality for the zkSync prover

A package you can use to build with XMTP in a React Native or Expo app.

A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia

Experimental Echidna Builds

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

MUD is an engine for Autonomous Worlds