Mamori aims to augment web3 security by developing an algorithm that can find issues in blockchain-based software.
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.
United States Latest News, United States Headlines
Similar News:You can also read news stories similar to this one that we have collected from other news sources.
Unstoppable Domains and Blockchain.com plan DNS-enabled Web3 domain '.blockchain'Unstoppable Domains and Blockchain.com plan to create one of the first DNS-enabled Web3 domains, “.blockchain” via an application with ICANN.
Read more »
Solana tagged 'Mac OS' of blockchain by Pantera Capital amid its declinePantera Capital released a report on Friday stating Solana's rising influence in blockchain, surpassing that of Ethereum amid a slight decline in the price of SOL.
Read more »
Chinese fintech giant Ant Group expands blockchain units’ registered capitalAnt Digital Technologies has expanded the registered capital for its subsidiary, Ant Blockchain Technology, to around $200 million.
Read more »
Unstoppable Domains to apply for ‘.blockchain’ domain registrationUnstoppable Domains and Blockchain.com will apply for the .blockchain Web3 domain registration by 2025.
Read more »
At the Potomac, Where DC, the Analog Political National Capital, and VC, the Digital Capital, MeetData Centers and AI demand for electricity provide a forcing funciton to roduce policies designed to provide essential reliable, abundant, affordable energy.
Read more »
Running Archive Full Node for Blockchain Devs: Pros and ConsHere's why modern decentralized applications require archive full nodes - and what it takes to run one
Read more »