starky-tmp/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