Toyni Stark

They didn't make history, they stole it!

Cross-platform Rust rewrite of the GNU coreutils

A trust-minimized cross-chain execution environment.

Rust adapter for 0xPolygonID/witnesscalc for any circuit

Odra smart contracts for CCTP on Casper: Stablecoin, TokenMessengerMinter, MessageTransmitter

A fast, secure, and developer-friendly blockchain built to support the next generation of games, apps, and the digital assets that power them.

A curated list of awesome things related to learning Circle STARK.

Spectre full-node, wallet and related libraries in the Rust programming language.

Local Multi-L2 Development Environment

ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol

Threshold Logical Clocks and Que Sera Consensus

Verifiable FHE with GKR

A fast and secure RISC-V based virtual machine

A toolkit for polynomial IOPs (PIOPs)

Rust implementation of the Modified Patricia Tree (aka Trie).

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Verifying biometric passports with zero knowledge proofs (SNARKs)

Official repository for Solana smart contracts used by the Cross-Chain Transfer Protocol

Verified Rust for low-level systems code

Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

Zero-copy deserialization framework for Rust

Cryptography Educational Foundations

Audited & minimal JS implementation of elliptic curve cryptography.