NilFoundation/zkllvm-transpiler

Recursion-friendly changes

Closed this issue · 0 comments

  • Add new test with non-zero max_quotient_degree
  • Permutation and lookup argument changes for EVM
  • FRI verification changes for EVM
  • Permutation and lookup argument changes for recursion
  • FRI verification changes for recursion
  • Proof size check