Завершены аудиторские проверки Manta Atlantic
В течение 2023 года компания Manta Network привлекала различных аудиторов для проведения проверок своей сети Atlantic. Сеть Manta Atlantic - это сеть L1, предназначенная для идентификации и проведения частных транзакций на цепочке. Manta Network заключила договоры с четырьмя следующими независимыми аудиторами:
Привлечение отдельных аудиторов позволило Manta Network обеспечить тщательную и всестороннюю оценку различных компонентов, обеспечивающих работу Manta Atlantic.
Исследованные компоненты и результаты
В составе Manta Atlantic следующие компоненты были проверены независимо друг от друга аудиторами, привлеченными по контракту. За разными аудиторами были закреплены разные компоненты, что позволило обеспечить детальный перекрестный аудит с целью снижения вероятности пропуска уязвимостей. Ознакомиться со списком результатов аудита можно по этой ссылке на Github.
ZK-схемы Manta Atlantic (Manta-ZK Lib)
Цепи ZK компании Manta Atlantic составляют основную компетенцию сети. Цепи ZK обеспечивают надлежащее функционирование ценностного предложения Atlantic: совместимую с цепью конфиденциальность идентификации и транзакций.
Компания Veridise провела экспертизу Manta Atlantic по либу Manta-ZK. В ходе исследования компания Veridise не обнаружила критических проблем или проблем высокой степени серьезности.
Блокчейн-сеть Manta Atlantic (Manta Chain)
сновная цепочка L1 компании Manta Atlantic управляет всей сетью и предоставляет свои услуги конечным пользователям по всему миру. Обеспечение безопасности цепочки является критически важным, поэтому проведение аудита необходимо.
Компания Veridise провела проверку блокчейн-сети Manta Atlantic. В ходе проверки не было выявлено критических или высокосерьезных проблем.
Компоненты фронтенда Manta Atlantic
Фронтенд-компоненты Manta Atlantic включают в себя все dapps, с которыми взаимодействуют пользователи, в том числе MantaPay, интерфейсы Bridge и Staking. Обеспечение безопасности этих компонентов снижает риск эксплойтов для защиты фронтенда.
Компания Secure3 проанализировала различные фронтенды, отнесенные к категории "Компоненты фронтенда Manta Atlantic". В результате анализа не было выявлено критических или высокосерьезных проблем.
zkSBTs (Manta SBT)
Майнинг zkSBTs на Manta Atlantic является основной услугой, предоставляемой протоколом L1, обеспечивающим надежную и приватную идентификацию на цепи. Используя НКО Manta Atlantic, пользователи могут майнить zkSBT, которые подтверждают их личность и деятельность в сети. Полученные zkSBT могут быть использованы для верификации в других приложениях, использующих Manta, без необходимости создания кошелька.
Компании Halborn и Veridise провели аудит сервисов zkSBT компании Manta. Ни Halborn, ни Veridise не обнаружили в ходе анализа критических проблем или проблем высокой степени серьезности.