This repository has been archived by the owner on Oct 31, 2023. It is now read-only.

feat!: Update to acvm 0.12.0#165

Merged

TomAFrench merged 20 commits intomasterfrom acvm-0.12.0

May 19, 2023

+917-842

Commits on May 10, 2023

feat!: update to target acvm-84b5d18d

TomAFrench
authored and
phated
committed
chore: update to use new black box solver interface

TomAFrench
authored and
phated
committed
use patch syntax
phated
committed

Commits on May 12, 2023

feat!: Update backend to rely on WitnessMap (#152 )

phated
and
TomAFrench
authored

Commits on May 15, 2023

Commits on May 16, 2023

feat!: Implement CommonReferenceString trait (#139 )

phated
and
TomAFrench
authored