an agent harness that runs natively on Apple Operating Systems (iOS, MacOS, VisionOS)

Source code for "Building Cryptographic Proofs from Hash Functions"

🏎️ A curated list of Aleo & Leo code and resources 🏎️

Grammar specifications for languages and formats in the Aleo ecosystem.

📜 A Starter Guide to Build ZK Applications 📜

zk-SNARK library.

Javascript & Typescript SDK for Zero-Knowledge Application Development

A zkVM for Decentralized Private Computations (DPC)

A Setup Ceremony for Universal SNARKs

📄 Documentation for Leo 🦁

Blockchain at Berkeley's Mini CS169 Intro to Software Engineering

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A Rust library for generating cryptocurrency wallets

A Decentralized Operating System for ZK Applications

The write-once-run-anywhere GPGPU library for Rust

A pure-Rust implementation of Bulletproofs using Ristretto.

XMR Tools Site Files

JavaScript Style Guide

A toolbox for zkSNARKs on Ethereum

Java library for distributed zero knowledge proof systems

A zkSNARK tutorial and development environment

C++ library for zkSNARKs