Andromeda revm execution service

A performant, 100% open-source, contributor-friendly zkVM.

Secure SGX Sidecar for CosmWasm

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

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