"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"

https://www.theblock.co/post/302874/mamori-raises-5-million-in-blockchain-capital-led-seed-funding