Stars
A refreshingly simple data-driven game engine built in Rust
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Collection of cryptographic hash functions written in pure Rust
The CompCert formally-verified C compiler
Build your own hardware wallet using affordable, globally available hardware!
🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
WebAuthn, Simplified. A collection of TypeScript-first libraries for simpler WebAuthn integration. Supports modern browsers, Node, Deno, and more.
Webauthn / passkeys helper library to make your life easier. Client side, server side and demo included.
A Cryptographic Library for Smooth Blockchain uses
a flexible and distributed system for deriving, and interacting with, computational trust
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity how you want to string parse the emails.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Cairo is the first Turing-complete language for creating provable programs for general computation.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Sybil detection package for BrightID
A library for building fast, reliable and evolvable network services.
Noir is a domain specific language for zero knowledge proofs
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
A smart contract wallet controlled using email
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications