|
|
5caccbaf50
|
improve var creation for SumProdCircuit
|
2026-04-28 17:29:11 +02:00 |
|
|
|
0c4bddf3b0
|
building quotient from ideal to make it more explicit
|
2026-04-27 23:29:03 +02:00 |
|
|
|
3fbd7e3773
|
improve api and simplify SumProdCircuit creation
|
2026-04-27 23:15:06 +02:00 |
|
|
|
627a2d88f4
|
refactor wip
|
2026-04-27 22:40:55 +02:00 |
|
|
|
723033f3aa
|
wip refactor
|
2026-04-27 22:05:46 +02:00 |
|
|
|
5bc6124222
|
cargo fmt
|
2026-04-22 18:58:19 +02:00 |
|
|
|
42d1dd30dc
|
add quotient circuit structure and improve fmt for polynomials
|
2026-04-22 17:17:14 +02:00 |
|
|
|
dee53e6339
|
move tests on circuits (dag)
|
2026-04-22 16:27:18 +02:00 |
|
|
|
fd05f6b024
|
move tests and implement dag
|
2026-04-22 15:59:19 +02:00 |
|
|
|
5ef4893f03
|
update claude settings and wip DAG with SlotMap
|
2026-04-22 11:45:35 +02:00 |
|
