nightsiteen retweetledi

The EF is investing tens of millions into zkVMs:
verified-zkevm.org—zkRISC-V formal verification
poseidon-initiative.info—Poseidon cryptanalysis
ethproofs.org—L2beat for zkVMs, soon™
DM me about contributing to zkVM public goods :)
English





