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.
