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

Python bindings for verifying Bandersnatch VRFs

A timelock encryption library with multi-language support

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 Substrate node template with arkworks host functions