1# starky-tmp
 2Testing Starky.
 3
 4This repo builds from the Starky example from the plonky2 repo.
 5
 6- `fibstark.rs`, `FibonacciStark`: 
 7	- sets the logic to generate the trace
 8	- implements the `Stark` trait (from Starky)
 9- `circuit.rs`:
10	- Plonky2 circuit that verifies the FibonacciStark proof
11- the test `circuit.rs`>`test_stark_verif_in_plonky2` generates the Fibonacci Starky proof, and then verifies it in a Plonky2 proof.
12
13Requires nigthly: `rustup override set nightly`