Veridise
236 Beiträge
Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Following
135 Follower
89 Like gegeben
Beiträge
Alle
Videos
Was sind die zwei häufigsten ZK-Fehler, die wir finden? Und wie kann man sie umgehen? @FormallyJon teilt in dem @HouseofZK-Podcast
Welche Teile eines Code-Base sind die Hauptziele in ZK-Sicherheitsaudits? @FormallyJon teilt im @HouseofZK-Podcast.
Wir freuen uns, unsere Sicherheitsprüfungsarbeit mit @Monero, einem langjährigen Projekt im Bereich Datenschutz, bekannt zu geben.
Darüber hinaus möchten wir einige Behauptungen und Falschdarstellungen in Bezug auf unsere Arbeit klarstellen und ansprechen.
1/8
Darüber hinaus möchten wir einige Behauptungen und Falschdarstellungen in Bezug auf unsere Arbeit klarstellen und ansprechen.
1/8
Neugierig auf die Top 3 Blockchain-Hacks der letzten 2 Wochen? Hier sind sie:
Die Geschichte geht weiter unten 🧵
Die Geschichte geht weiter unten 🧵
ZK-Audits ≠ Smart Contract-Audits. Was unterscheidet sie? @FormallyJon erklärt es im @HouseofZK-Podcast.
Neuer Blog: Wie baut man eine sichere zkVM-Anwendung – und wie auditiert man eine? (Teil III unserer zkVM-Sicherheitsserie).
Wir gehen durch ein konkretes Beispiel mit @RiscZero und zeigen die Sicherheitsüberlegungen, die in der realen ZK-App-Entwicklung wichtig sind.
Thread 🧵
1/6
Wir gehen durch ein konkretes Beispiel mit @RiscZero und zeigen die Sicherheitsüberlegungen, die in der realen ZK-App-Entwicklung wichtig sind.
Thread 🧵
1/6
Als wir mit der Arbeit an ZK-Tools begannen, gab es nichts Verfügbares. @FormallyJon teilt unsere Reise mit null Wissen bei einem Interview mit @HouseofZK.
Als wir anfingen, an ZK-Tools zu arbeiten, gab es nichts Verfügbares. @FormallyJon teilt unsere Reise mit Zero-Knowledge-Tools.
Cannes, du warst fantastisch! Danke an alle, die an unserem Stand vorbeigeschaut haben, und an @EthCC für die Ausrichtung. Hier ist ein visueller Genuss von der Woche 🌞
Tauchen Sie ein in die drei besten Blockchain-Sicherheitsgeschichten der letzten zwei Wochen!
Die Geschichte geht unten weiter 🧵
Die Geschichte geht unten weiter 🧵
Haben Sie den Vortrag von @KFerles auf der @EthCC, "zkVM Determinismus, der anhält: Von Audits zu kontinuierlicher Überprüfung" verpasst? Sehen Sie die gesamte Präsentation hier, wir hatten einen vollen Raum!
Tag 1 bei @EthCC ist vorbei - und das ganze Swag auf dem Foto? Weg. Der Waschbär war ein Publikumsliebling 🦝
Wir haben noch ein paar übrig, also schau morgen vorbei, wenn du in der Nähe bist!
Wir haben noch ein paar übrig, also schau morgen vorbei, wenn du in der Nähe bist!
Grüße von @EthCC — Unser CTO @KFerles teilt mit, wie wir dauerhaften Determinismus für zkVMs wie @RiscZero liefern
Neuer Blogbeitrag! Identifizierung häufiger Schwachstellen in zkVMs
(das ist Teil II unserer zkVM-Sicherheitsreihe)
Während zkVMs helfen, die ZK-Komplexität zu abstrahieren, beseitigen sie nicht alle Fallstricke 🧵
(das ist Teil II unserer zkVM-Sicherheitsreihe)
Während zkVMs helfen, die ZK-Komplexität zu abstrahieren, beseitigen sie nicht alle Fallstricke 🧵
Erhalten Sie einen Überblick über die ZK-Tools von Veridise und einen Ausblick auf das, was als Nächstes kommt. @IsilDillig teilt unsere zukünftigen Richtungen beim @a16zcrypto-Event.
Unsere ZK-Detektionswerkzeuge sind zuvor bei 30 % der ZK-Schaltungen ausgefallen. Wie haben wir das gelöst? @IsilDillig teilt Erkenntnisse aus unserem aktuellen Forschungsbericht.
Wie halten wir ZK-Schaltungen während der Prüfungen rockfest und deterministisch? Unsere Mitgründerin @IsilDillig teilt Einblicke in die Kombination von statischer Analyse und SMT-Lösungen in unseren ZK-Tools.
Sind überbeschränkte Schaltungen eine Herausforderung bei Null-Wissen-Schaltungen?
Welche stellt eine größere Bedrohung dar: unterbeschränkte oder überbeschränkte Schaltungen? @IsilDillig erläutert es.
Welche stellt eine größere Bedrohung dar: unterbeschränkte oder überbeschränkte Schaltungen? @IsilDillig erläutert es.
Anmelden und weiter Inhalte entdecken