Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 подписок(и/а)
135 подписчиков(а)
89 понравилось
7 поделились
Посты
Все
Видео
Какие два самых частых бага ZK мы находим? И как их избежать? @FormallyJon делится на подкасте @HouseofZK
Какие части кодовой базы являются основными целями в аудите безопасности ZK? @FormallyJon делится на подкасте @HouseofZK.
Мы рады объявить о нашей работе по аудиту безопасности с @Monero, давним проектом в области конфиденциальности.
Кроме того, мы хотим прояснить и ответить на некоторые утверждения и искажения, касающиеся нашей работы.
1/8
Кроме того, мы хотим прояснить и ответить на некоторые утверждения и искажения, касающиеся нашей работы.
1/8
Интересно, какие топ-3 взлома блокчейна произошли за последние 2 недели? Вот они:
История продолжается ниже 🧵
История продолжается ниже 🧵
Аудиты ZK ≠ аудиты смарт-контрактов. Чем они отличаются? @FormallyJon объясняет это в подкасте @HouseofZK.
Новый блог: Как создать безопасное приложение zkVM и как провести его аудит? (Часть III в нашей серии по безопасности zkVM).
Мы рассмотрим конкретный пример, используя @RiscZero, и покажем важные аспекты безопасности при разработке ZK приложений в реальном мире.
Тред 🧵
1/6
Мы рассмотрим конкретный пример, используя @RiscZero, и покажем важные аспекты безопасности при разработке ZK приложений в реальном мире.
Тред 🧵
1/6
Когда мы начали работать над инструментами ZK, ничего не было доступно. @FormallyJon делится нашим опытом работы с инструментами нулевого раскрытия на интервью @HouseofZK.
Когда мы начали работать над инструментами ZK, ничего не было доступно. @FormallyJon делится нашим путешествием по инструментам нулевых знаний.
Канны, вы были потрясающими! Спасибо всем, кто заглянул к нашему стенду, и @EthCC за то, что приняли нас. Вот визуальный праздник этой недели 🌞
Погрузитесь в топ-3 истории о безопасности блокчейна за последние две недели!
История продолжается ниже 🧵
История продолжается ниже 🧵
Пропустили выступление @KFerles на @EthCC, "детерминизм zkVM, который длится: от аудитов до непрерывной проверки"? Смотрите полную презентацию здесь, у нас была полная комната!
День 1 на @EthCC завершился — а вся сувенирная продукция на фото? Ушла. Енот был любимцем публики 🦝
У нас еще остались несколько, так что загляните завтра, если будете рядом!
У нас еще остались несколько, так что загляните завтра, если будете рядом!
Приветствия из @EthCC — Наш CTO @KFerles делится тем, как мы обеспечиваем долговременный детерминизм для zkVM, таких как @RiscZero
Новый блог пост! Идентификация общих уязвимостей в zkVM
(это часть II нашей серии по безопасности zkVM)
Хотя zkVM помогают абстрагировать сложность ZK, они не устраняют все подводные камни 🧵
(это часть II нашей серии по безопасности zkVM)
Хотя zkVM помогают абстрагировать сложность ZK, они не устраняют все подводные камни 🧵
Получите обзор инструментов ZK от Veridise и загляните в будущее. @IsilDillig делится нашими будущими направлениями на мероприятии @a16zcrypto.
Наши инструменты обнаружения ZK ранее выходили за рамки времени на 30% ZK схем. Как мы это решили? @IsilDillig делится insights из нашей недавней научной статьи.
Как мы поддерживаем ZK-цепи надежными и детерминированными во время аудитов? Наш соучредитель @IsilDillig делится мнением о комбинации статического анализа и SMT-солверов в наших ZK-инструментах.
Являются ли избыточно ограниченные схемы проблемой в схемах с нулевым знанием?
Что представляет большую угрозу: недостаточно ограниченные или избыточно ограниченные схемы? @IsilDillig объясняет.
Что представляет большую угрозу: недостаточно ограниченные или избыточно ограниченные схемы? @IsilDillig объясняет.
Войдите, чтобы посмотреть больше материала