Generate privacy-preserving ID proofs

A Mac utility that automatically downloads macOS Firmwares / Installers.

A massively parallel, optimal functional runtime in Rust

AI powered one-click comprehensive docs from transcripts and text.

Zero-Knowledge Proof Systems Circuit Compiler

An advanced keyboard manager

OS for next iteration of the world computer

🌠 Manage your shell commands.

A curated list of zero-knowledge folding schemes

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Project management for MEV Research

Describe elliptic curves

Macros for all your token pasting needs

Set up a personal VPN in the cloud

A curated list of awesome things related to plonk proof system

Tool for generating Elliptic curve domain parameters

An interactive guide to the game theory of cooperation

A STARK prover and verifier for arbitrary computations

A terminal UI for tshark, inspired by Wireshark

Implementation of a differential fuzzer for Ethereum Virtual Machines

Intuitive Advanced Cryptography

The instance generator of the Vision and Rescue block ciphers.

Zero-knowledge virtual machine written in Rust

Experimental one-shot benchmarking/profiling harness for Rust

Turbo Boost disabler / enable app for Mac OS X

Elliptic curve search experiments

Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"

Store SSH keys in the Secure Enclave

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers