Skip to content
New issue

Select the optimal proof system for recursion

Past due by 3 days 0% complete

We want to select a transparent proof system for proving the recursive circuits from two candidates:

  1. AIR + STARK: with plonky3 or plonky2 as the default backend implementation.
  2. R1CS + Spartan: with spartan-parallel as the default backend implementation.

We want to select a transparent proof system for proving the recursive circuits from two candidates:

  1. AIR + STARK: with plonky3 or plonky2 as the default backend implementation.
  2. R1CS + Spartan: with spartan-parallel as the default backend implementation.
Loading