arnaucube
/
starky-tmp
mirror of https://github.com/arnaucube/starky-tmp.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
0 Tags
23 KiB
 
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
arnaucube c053c137fa add plonky2 circuit to verify the fibstark proofs 10 months ago
src add plonky2 circuit to verify the fibstark proofs 10 months ago
.gitignore port fibonacci example from starky docs 10 months ago
Cargo.toml add plonky2 circuit to verify the fibstark proofs 10 months ago
README.md add plonky2 circuit to verify the fibstark proofs 10 months ago

README.md

starky-tmp

Testing Starky.

This repo builds from the Starky example from the plonky2 repo.

  • fibstark.rs, FibonacciStark:
    • sets the logic to generate the trace
    • implements the Stark trait (from Starky)
  • circuit.rs:
    • Plonky2 circuit that verifies the FibonacciStark proof
  • the test circuit.rs>test_stark_verif_in_plonky2 generates the Fibonacci Starky proof, and then verifies it in a Plonky2 proof.

Requires nigthly: rustup override set nightly