michael(@no89thkey):We secure Pico in a defense-in-depth approach. Security audit, bug bounty, formal verification, and finally, operational security are all working together to deliver a bullet-proof proving system for the next 1000X Ethereum L1 scaling. Thank you @ethereumfndn for the support!

michael

@no89thkey

Bring mass adoption to blockchain. @brevis_zk @celernetwork

参加 October 2018

898 フォロー中 8.9K ファン

michael@no89thkey

2026.02.16 14:40

We secure Pico in a defense-in-depth approach. Security audit, bug bounty, formal verification, and finally, operational security are all working together to deliver a bullet-proof proving system for the next 1000X Ethereum L1 scaling. Thank you @ethereumfndn for the support!

Nethermind Security@NethermindSec

2026.02.16 14:00

Our Formal Verification team is beginning work on the @brevis_zk Pico RISC-V zkVM, building on our work on SP1 and OpenVM. We are grateful to the @EthereumFndn for supporting this effort.