Velocity Capital and Web3.com participated in the round, along with angel investors Grigore Rosu, Daniel Lubarov, Alex Watts, Bo Du, Shujia Liang, Micheal Heinrich and Antonio Viggiano, according to a release shared with The Block. The software doesn't rely on past knowledge of how exploits worked; instead, it tries to find what exploits could occur by extracting value from the blockchain-based software.
This type of approach is called a machine learning-enabled value extraction system. It can be applied to zero-day vulnerabilities or known problems that have yet to be patched, as well as issues related to scalability and automation. "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," said Mamori Advisor Grigore Rosu in a statement. Disclaimer: The Block is an independent media outlet that delivers news, research, and data.
Technology Technology Latest News, Technology Technology Headlines
Similar News:You can also read news stories similar to this one that we have collected from other news sources.
Source: TheBlock__ - 🏆 464. / 53 Read more »
Source: hackernoon - 🏆 532. / 51 Read more »