verify_fibair

Function main

Source 
pub(crate) fn main() -> Result<()>
Expand description

Benchmark of aggregation VM performance. Proofs:

  1. Prove Fibonacci AIR.
  2. Verify the proof of 1. by execution VM program in STARK VM.