Julian Sutherland
@juleksu
PhD @imperialcollege. Head of formal verification @nethermindeth
ID: 1455877150603685892
03-11-2021 12:39:23
42 Tweet
428 Followers
261 Following
Our harness for formally verifying zk-circuits written in Halo2 now fully supports lookup/shuffle arguments and interjected randomness - check it out at: github.com/NethermindEth/… 👀 Examples and blog post coming soon! Many thanks to Ethereum Foundation for funding this effort!