Solidity libraries and contracts for verifying WHIR proofs on the EVM.
You can generate EVM compatible WHIR proofs using the feat/evm-verifier branch from this fork - see this test. You can still try this implementation out of the box as we included an example proof in this repo, located in test/data/whir.
Install and run tests:
$ git clone [email protected]:privacy-scaling-explorations/sol-whir.git
$ cd sol-whir
$ forge test --via-irTo run an actual transaction verifying a whir proof, setup a .env following the provided .example.env file. Then:
$ anvil
$ forge script script/Verify.s.sol --via-ir --tc VerifyScript --rpc-url http://localhost:8545 --broadcast