Threepwood 7352951226 ✨ Define child Verifier contract that checks that merkle tree root matches (#209) ...

* chore: forge init

* scaffold contracts package

* add solhint

* solhintignore generated contract

* feat:test: Define Verifier that checks merkle root before verifying proof

* fix test GH workflow

* update lock file

* fix validate script

* revert visibility changes in Groth16Verifier

Lets not modify generated contract

* fix dep: install solhint in contracts pkg

* fix: install foundry for static analysis gh workflow

* rm unused workflow file

* Update root README.md

2023-06-16 15:28:17 +02:00

..

.gitkeep

✨ Define child Verifier contract that checks that merkle tree root matches (#209)

2023-06-16 15:28:17 +02:00