jeong0982

zkLeeVM

A simple zk virtual machine (zk vm) in Circom

pqxdh-analysis

Formal Analysis of the PQXDH Protocol

zkboogie

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

space-efficient-sumcheck

pylookup

Educational Version of Lookup Argument

plonkathon

educational python plonk implementation, based on vitalik's py_plonk

celpc

Rust Code for CELPC

SCORAM

First open source implementation of ORAM in secure computation.

private-membership

heir

A compiler for homomorphic encryption

circom-2-arithc

Circom interpreter to arithmetic circuit description

obliv-c

tiptoe

The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).

proof-checker-public

cli

Prove knowledge of smart contract bugs using zkEVM

riscu-jolt

RISCU emulator and zk circuit simulator as a reference for a Jolt implementation

qemu

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

fully-homomorphic-encryption

An FHE compiler for C++

vstf.dev

A Framework for Verifiable State Transition Functions

riscv-isa-manual

RISC-V Instruction Set Manual

jolt

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

retroforth

This is a read-only mirror of the Fossil repository, made available via Git for your convenience.

flux

Refinement Types for Rust

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

k

K Framework Tools 7.0

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Nova

Nova: High-speed recursive arguments from folding schemes

mnist-tvault-example

Sample repository for classifying MNIST classification

ipdl

egg

egg is a flexible, high-performance e-graph library