Nethermind Security
@NethermindSec
Comprehensive security from @Nethermind, from audits to formal verification. Book now:
参加 September 2024
46 フォロー中 1.6K ファン
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.
