(Sol) WHIR 🌪️

Solidity libraries and contracts for verifying WHIR proofs on the EVM.

Usage

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 git@github.com:privacy-scaling-explorations/sol-whir.git 
$ cd sol-whir
$ forge test --via-ir

To 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