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 粉丝
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 👇
显示更多
