arkworks

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

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

Zero-knowledge gadgets for Webb's cross-chain blockchain applications.

Arkworks circuits for verifiable time-lock encryption

Elliptic Curve Fast Fourier Transform built on @arkworks-rs

Benchmarks of popular zkVMs including Jolt

Arkworks extensions enabling customizable hooks for EC operations

A standard library wrapper for use in the `arkworks` ecosystem

Polymath: Groth16 Is Not The Limit

Elliptic Curve VRFs

A BrainFuck zkVM based on a customised version of PlonkUp

Solidity SNARK verifier generator for Arkwork's proof systems.

A small Rust library to handle matrices made from elements of finite fields

A timelock encryption library with multi-language support

Python bindings for verifying Bandersnatch VRFs

Cairo-VM Stark Verifier Arkworks implementation(WIP)

High-Threshold Asynchronous Dynamic Committee Secret Sharing

Verify the Sapling MPC in Arkworks

Zero-knowledge prover utility for HollowDB.

A NIZK PoK to prove knowledge of the preimage of an El Gamal cipherterxt