Leandro Pacheco 2e1a8571a7 instr param mapping ...

allow RHS of `instr` declarations to control the usage of write and assignment
registers.

2024-02-14 13:31:19 -03:00

..

asm

instr param mapping

2024-02-14 13:31:19 -03:00

pil

Test that proving fails for unsatisfying witness

2024-02-13 11:56:18 +01:00

polygon-hermez

Distinguish between integer and field element.

2024-01-25 17:40:23 +01:00

std

Add equations 1-4

2024-02-08 11:41:53 +01:00