Noname: a programming language to write zkapps

Number theoretic functions, such as primality testing and factorization, for BigUints

Initial Commit

A cargo subcommand for displaying when Rust dependencies are out of date

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

🪩 verify plonky3 proofs in plonky2

zkSNARKs as a service using secure multi-party computation.

wander - the Wasm Renderer

This repository contains the codes of "A Lip Sync Expert Is All You Need for Speech to Lip Generation In the Wild", published at ACM Multimedia 2020. For HD commercial model, please try out Sync Labs

⛽ Tokenize gas on Ethereum with GasToken ⛽

A ZSH theme designed to disclose information contextually, with a powerline aesthetic

The schelling point for ZK applications.

The Nexus zkVM: The zero-knowledge virtual machine

Infinite procedurally generated terrain, rendered with WebGL

In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

zkBitcoin: zero-knowledge proofs on Bitcoin!

Proving historical Ethereum transactions using the Plonky2 zkEVM

A STARK-based VM focused on code reuse, performance, and modularity

Wine Wrapper, Setup tool and launcher for FFXIV on mac

Generates block proofs from proof IR

Rust plugin for the IntelliJ Platform

L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.

Polynomials Identity Language

A toolkit for polynomial IOPs (PIOPs)

Old, obsolete version of the Valida compiler; its replacement will become public later