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

Update Solidity Verifier#26

Merged

vezenovm merged 2 commits into

kw/separate-systemsfrom

mv/new-sol-verifier

Dec 9, 2022

Commits on Dec 9, 2022

update solidity verifier to match working one produced by TS wrapper, requires prepended pub inputs to proof
vezenovm
committed
remove bad import
vezenovm
committed