List view

• Select the optimal proof system for recursion

  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.

  Overdue by 6 month(s)

  •

  Due by December 20, 2024

  •0/6 issues closed
  0% complete6 open0 closed