6 Commits

Author SHA1 Message Date
Balazs Komuves
a197a8a179
update the circuit test to the latest r1cs-solver changes (field choice) 2025-05-19 20:28:20 +02:00
Balazs Komuves
1c120d3e0d
refactor the circuit (separate codex-specific and more generic templates) 2024-03-12 11:48:13 +01:00
Balazs Komuves
55015008e7
the circuit seems to work 2023-11-28 12:32:36 +01:00
Balazs Komuves
0ae539a0ed
add CeilingLog2 template 2023-11-25 20:50:54 +01:00
Balazs Komuves
49e77f6f78
add log2 circuit template 2023-11-24 12:40:21 +01:00
Balazs Komuves
1f4ae5874d initial import (copy from the private repo) 2023-10-25 18:12:26 +02:00