Hudson Jameson(@hudsonjameson):Last week @CertiK delivered and finalized their 2nd Ethereum Foundation grant relating to formal verification in zkVMs. This time the CertiK FV team experimented with zkVM circuit correctness proofs in Verus! More below 👇

Hudson Jameson

@hudsonjameson

I enjoy my cats, privacy tech, & ice cream. Now: @CertiK and @_SEAL_Org member Previous: Polygon, Ethereum Foundation, Flashbots, USAA, Zcash Poly/Bi 🏳️‍🌈

加入 September 2012

4K 正在關注 57.5K 粉絲

Hudson Jameson@hudsonjameson

2026.07.20 16:48

Last week @CertiK delivered and finalized their 2nd Ethereum Foundation grant relating to formal verification in zkVMs. This time the CertiK FV team experimented with zkVM circuit correctness proofs in Verus! More below 👇