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 đŗī¸âđ
4K Following 57.5K Followers
Things are starting to smell like ProgPoW.
I don't mean that Trent is doing anything wrong. I am meaning that there is starting to be accusations that are vitriolic towards well meaning people that cause distractions from the core issues.
Show more
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
Proud of the role @CertiK played in this funding round â¨
