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 ๐
๋ ๋ณด๊ธฐ
