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 đŗī¸âđ
Joined September 2012
4K Following 57.5K Followers
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 đ
Show more
