refactor: resolve todos in zkg.go

Jakob Schneider Villumsenrequested to merge
fix86 into main
  • Refactor Verify(M) to accept parameter y []byte so it knows public value
  • Remove everything from proof struct except proverOutput, ctx and cfg
  • Garbage collect other arrays from Prover on exit

Closes https://gitlab.au.dk/jaschdoc/zkg/-/issues/86

Edited by Jakob Schneider Villumsen

Merge request reports