Skip to content

captainlee1024/eigen-zkvm

This branch is 3 commits ahead of, 16 commits behind 0xEigenLabs/eigen-zkvm:main.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

e030ede · May 31, 2024
Jan 2, 2024
May 31, 2024
Sep 13, 2022
Mar 30, 2024
Apr 21, 2024
Mar 7, 2024
Apr 25, 2022
May 31, 2024
May 20, 2024
Oct 31, 2023
Mar 30, 2024
May 3, 2024
Mar 11, 2024
Apr 12, 2024
May 21, 2024
Mar 11, 2024
May 9, 2022
Jan 23, 2024
Apr 8, 2022
Feb 28, 2024
Mar 22, 2024
Oct 23, 2023
Feb 16, 2024

Repository files navigation

eigen-zkvm

eigen-zkvm is a zkVM on a layered proof system, allowing the developers to write Zero-knowledge applications, proving with the layered proof system to achieve no trusted setup, constant on-chain proof size and low gas cost, and finally generating the solidity verifier.

  • zkit: universal command line for stark, plonk, and groth16.

  • Circom 2.x support;

  • Proof composition: proof aggregation and recursion on Stark;

  • Proof Recursion with Snark on Stark;

  • Solidity verifier generation;

  • GPU acceleration for proving, not open-sourced;

  • WASM friendly for single proving and verifying, NodeJS/Javascript prover and verifier, plonkjs;

  • Eigen zkVM: basing on RISCV ISA.

How the layered proof system works

mixed-proof-system

Tutorial

  • Generate universal setup key
zkit setup -p 13 -s setup_2^13.key

For the power from 20 to 26, you can download directly from universal-setup hub.

  • Single proof

test_plonk_verifier.sh

test_plonk_verifier.sh poseidon

  • Snark aggregation proof

test_aggregation.sh

  • Stark aggregation proof

stark_aggregation.sh yes BN128

stark_aggregation.sh yes BLS12381

  • Stark proof and recursive stark prove

starky

  • Layered proof

starkjs

Applications

About

A Rust zkVM with a Modular Proof System

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 78.2%
  • Circom 20.4%
  • Solidity 0.5%
  • JavaScript 0.4%
  • Shell 0.3%
  • TypeScript 0.2%