feat: use batch inversion when writing to the witness map (WIP)#8028

Closed

kashbrti wants to merge 15 commits intomasterfrom

kb/acvm_batch_invert

Commits on Apr 11, 2025

init
Khashayar Barooti
committed
init
Khashayar Barooti
committed

Commits on Apr 14, 2025

added the batch_invert method
Khashayar Barooti
committed
fixed the error when write fails
Khashayar Barooti
committed
added the +-1 check for writing witnesses
Khashayar Barooti
committed
testing out the new arithmetic solver (WIP)
Khashayar Barooti
committed
made a separate internal solver
Khashayar Barooti
committed

Commits on Apr 16, 2025

added arithmetic batching tests
Khashayar Barooti
committed
writing the last pending opcode and more tests
Khashayar Barooti
committed
seem to be working version?
Khashayar Barooti
committed
removed some prints
Khashayar Barooti
committed
Merge branch 'master' into kb/acvm_batch_invert
Khashayar Barooti
committed
formatting
Khashayar Barooti
committed
removed the useless comment
Khashayar Barooti
committed

Commits on Apr 23, 2025

testing number of non-trivial inversions
Khashayar Barooti
committed