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.
