比特币Rollup Citrea在测试网上部署了基于BitVM的桥接器“Clementine”。
玛莫里在区块链资本领投的种子轮融资中筹集了500万美元
区块链初创公司Mamori在由Blockchain Capital领投的种子轮融资中筹集了500万美元。
Velocity Capital和Web3.com参与了这一轮融资,此外还有天使投资者Grigore Rosu、Daniel Lubarov、Alex Watts、Bo Du、Shujia Liang、Micheal Heinrich和Antonio Viggiano,根据与The Block分享的一份新闻稿。
这500万美元的融资总额是Mamori迄今为止的全部资金。
Mamori旨在通过开发一种能够发现基于区块链的软件中问题的算法来增强web3安全性。该软件不依赖于以往对漏洞如何运作的了解;相反,它试图通过从基于区块链的软件中提取价值来找出可能发生的漏洞。
这种方法被称为机器学习启用的价值提取系统。它可应用于零日漏洞或尚未修补的已知问题,以及与可扩展性和自动化相关的问题。
“Mamori的工具有助于消除编程错误,同时学习合同规范,基于语义的形式验证工具证明了程序符合规范,然后正确性证明被ZK化并发布在链上作为可验证的证据,”Mamori顾问Grigore Rosu在一份声明中表示。