Web3 security company raised $5m in seed funding led by Blockchain Capital.
| less than a minute read
Mamori raises $5m seed funding
"Mamori's tools help eliminate programming errors while learning the contract specification, semantics-based formal verification tools prove the program correct with regards to the specification, then the correctness proof is ZK-ed and posted on-chain as verifiable evidence"
