Guide and files required to setup lineageos with microg on the Unihertz Titan

Compile time numbers in Rust.

Entropy Based Sampling and Parallel CoT Decoding

Ethereum consensus client in Rust

Inverse and determinant trait for ndarray Array2

A homomorphic hash function

Chess, and Fog of War Chess implemented in Aztec's ZK circuit language: Noir.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Rust language bindings for Bitcoin secp256k1 library.

Wrangling Untrusted File Formats Safely

Typestate interface for revm

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.

A paper of Octopus contracts, smart contracts that operate ciphertexts outside the blockchain using signature-based witness encryption.

A statically typed language compatible with Python

Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatc…

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

Toy typechecker for Insanely Dependent Types

A minimal GPU design in Verilog to learn how GPUs work from the ground up

GPU-accelerated compiler

Numba-like Python translation to HVM

Honk Verifier in Solidity

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Benchmarks of popular zkVMs including Jolt

🌐 The Internet OS! Free, Open-Source, and Self-Hostable.

An online playground for zero knowledge circuits