Skip to content

SuccinctPaul/eigen-zkvm

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

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Nov 3, 2023
f8268f3 · Nov 3, 2023
Oct 23, 2023
Oct 31, 2023
Oct 28, 2023
Sep 13, 2022
Oct 23, 2023
Oct 28, 2023
Apr 25, 2022
Oct 23, 2023
Oct 31, 2023
Nov 2, 2023
Nov 3, 2023
Nov 2, 2023
Nov 2, 2023
Sep 30, 2023
May 9, 2022
Oct 20, 2023
Apr 8, 2022
Oct 23, 2023
Oct 31, 2023
Oct 23, 2023
Sep 30, 2023

Repository files navigation

eigen-zkvm

eigen-zkvm is a zkVM on 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 commandline for starky and plonky

  • Circom 2.x on PlonK prove system;

  • Aggregation Proof over both Stark and Snark proof;

  • Generate solidity verifier;

  • GPU acceleration for proving, not opensourced;

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

  • Layered Proof system on Plonk and FRI.

  • [] State Machine based VM

How layered proof system works

mixed-proof-system

Tutorial

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

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

  • Single proof and zkML

test_single.sh

test_single.sh mnist 15

  • 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 zkVM basing on layered proof system

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 78.6%
  • Circom 20.5%
  • Other 0.9%