search

zkFold / zkfold-base

ZkFold's Base library
https://zkfold.io
MIT License
17 stars 7 forks source link

Add `witnessF` function to `Symbolic` class #354

Closed TurtlePU closed 2 weeks ago

TurtlePU commented 2 weeks ago

Resolves #307 by adding a witnessF function to Symbolic class. Had to change the type of acWitness inside ArithmeticCircuit to an arguably better type. Also some minor fixes along the way.

TurtlePU commented 2 weeks ago

Marked as a draft PR because #353 has to be merged first