Блокчейн-стартап Mamori привлек $5 млн.

Блокчейн-стартап Mamori привлек $5 млн в виде посевного финансирования. Раунд возглавила Blockchain Capital при участии Velocity Capital и Web3.com.

Mamori хочет повысить Web3-безопасность, разработав алгоритм, который может обнаруживать проблемы в программном обеспечении на основе блокчейна. Программное обеспечение не полагается на прошлые знания о том, как работали эксплойты; вместо этого оно пытается выяснить, какие эксплойты могут произойти, извлекая ценность из программного обеспечения на основе блокчейна.

Этот тип подхода называется системой извлечения ценности с поддержкой машинного обучения. Его можно применять к уязвимостям нулевого дня или известным проблемам, которые еще предстоит исправить, а также к проблемам, связанным с масштабируемостью и автоматизацией.

«Инструменты Mamori помогают устранить ошибки программирования при изучении спецификации контракта. Инструменты формальной проверки на основе семантики доказывают, что программа верна в отношении спецификации, затем доказательство правильности оформляется в виде ZK и публикуется ончейн в качестве проверяемого доказательства», — заявил представитель Mamori Григоре Рошу.

Источник
Уникальность

 

[Gemini]

Это пожалуй самая частая и повторяющаяся новость, о том что стартапы привлекают средства.