arnaucube/starky-tmp
1
0
Fork 0
mirror of https://github.com/arnaucube/starky-tmp.git synced 2026-03-23 00:06:44 +01:00
Code Issues Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 34 KiB
  • Rust 100%
Find a file
Exact
arnaucube c053c137fa add plonky2 circuit to verify the fibstark proofs
2025-01-29 16:11:01 +01:00
src add plonky2 circuit to verify the fibstark proofs 2025-01-29 16:11:01 +01:00
.gitignore port fibonacci example from starky docs 2025-01-29 16:06:20 +01:00
Cargo.toml add plonky2 circuit to verify the fibstark proofs 2025-01-29 16:11:01 +01:00
README.md add plonky2 circuit to verify the fibstark proofs 2025-01-29 16:11:01 +01:00

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