This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

Add pre-processing into ACVM interface #65

Closed

kevaundray opened this issue Apr 12, 2021 · 0 comments

Contributor

kevaundray commented Apr 12, 2021

This requires:

Modifying all of the backends to return a prover/verifier key
Create/verify a proof based on prover/verifier key
Saving the preprocessed key and checking if the program has changed to determine, if we need to re-compile the prover/verifier key.

This should ideally be done before noir-lang/noir#53 and noir-lang/noir#54 so that there are less backends to redo.

kevaundray mentioned this issue

Add arkworks backend noir-lang/noir#44

Merged

kevaundray transferred this issue from noir-lang/noir

This was referenced Feb 2, 2023

feat: Preprocess methods for ACVM interface #71

Merged

Proof generation and verification methods that use pk/vk noir-lang/aztec-connect#21

Merged

feat(acvm_interop): Updates to reflect new acvm methods using pk/vk noir-lang/acvm-backend-barretenberg#50

Merged

feat(nargo): Update nargo to use preprocessing interface noir-lang/noir#765

Merged

TomAFrench closed this as completed

kobyhallx pushed a commit that referenced this issue


          chore: remove patch on ACVM (#65)

de7c033

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.