Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.

One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies, a first step towards https://account.link/

Geth-in-SGX provides an example of running go-ethereum in SGX

Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.

A hierarchical configuration library so con-free, it's unreal.

A general purpose oracle leveraging ABCI

Temporary file library for rust

A derive macro for implementing the display Trait via a doc comment and string interpolation

An open source payments switch written in Rust to make payments fast, reliable and affordable

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Concise GitHub Action for installing a Rust toolchain

asynchronous and easy-to-use high level ssh client library for rust

Rust SSH client & server library

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

WebPKI X.509 Certificate Validation in Rust

X.509 parser written in pure Rust. Fast, zero-copy, safe.

Private payments for mobile devices.

Library for Intel SGX

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

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

Rust-based zkSNARK Proving&Verifying tool for noir-lang

A crate for mucking around with piles of bytes

Binary installation for rust projects

A repository of papers/resources around Quantum 1-Shot Signatures.

An oblivious AVL treemap

Production Quality contracts under open source licenses

Wordle, but with ZK proofs!