Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Obserwowani
135 Obserwujący
89 Polubione
7 Udostępnione
Posty
Wszystko
Filmy
Jakie są dwa najczęściej występujące błędy ZK, które znajdujemy? I jak ich unikać? @FormallyJon dzieli się na podcaście @HouseofZK
Które części bazy kodu są głównymi celami w audytach bezpieczeństwa ZK? @FormallyJon dzieli się na podcaście @HouseofZK.
Zobacz tłumaczenie
We’re pleased to announce our security auditing work with @Monero, a long-standing project within the privacy space.
Additionally, we want to clarify and address some claims and misrepresentations regarding our work.
1/8
Additionally, we want to clarify and address some claims and misrepresentations regarding our work.
1/8
Ciekawy najważniejszych 3 włamań do blockchaina z ostatnich 2 tygodni? Oto one:
Historia trwa poniżej 🧵
Historia trwa poniżej 🧵
Zobacz tłumaczenie
ZK audits ≠ smart contract audits. What sets them apart? @FormallyJon breaks it down on the @HouseofZK podcast.
Zobacz tłumaczenie
New blog: How do you build a secure zkVM application—and how do you audit one? (Part III in our zkVM security series).
We walk through a concrete example using @RiscZero, and show the security considerations that matter in real-world ZK app development.
Thread 🧵
1/6
We walk through a concrete example using @RiscZero, and show the security considerations that matter in real-world ZK app development.
Thread 🧵
1/6
Kiedy zaczęliśmy pracować nad narzędziami ZK, nie było nic dostępnego. @FormallyJon dzieli się naszą podróżą z narzędziami zero-knowledge w wywiadzie @HouseofZK.
Kiedy zaczęliśmy pracować nad narzędziami ZK, nie było nic dostępnego. @FormallyJon dzieli się naszą podróżą z narzędziami zero-knowledge.
Zobacz tłumaczenie
Cannes, you were amazing! Thanks to everyone who stopped by our booth, and to @EthCC for hosting us. Here’s a visual feast from the week 🌞
Zanurz się w 3 najważniejszych historiach dotyczących bezpieczeństwa blockchaina z ostatnich dwóch tygodni!
Historia trwa poniżej 🧵
Historia trwa poniżej 🧵
Przegapiłeś wystąpienie @KFerles na @EthCC, "deterministyczny zkVM, który trwa: Od audytów do ciągłej weryfikacji"? Obejrzyj pełną prezentację tutaj, mieliśmy pełną salę!
Dzień 1 na @EthCC zakończony — a wszystkie gadżety na zdjęciu? Zniknęły. Szop pracz był ulubieńcem tłumu 🦝
Zostało nam jeszcze kilka, więc wpadnij jutro, jeśli będziesz w okolicy!
Zostało nam jeszcze kilka, więc wpadnij jutro, jeśli będziesz w okolicy!
Pozdrowienia z @EthCC — Nasz CTO @KFerles dzieli się tym, jak zapewniamy trwały determinizm dla zkVM-ów, takich jak @RiscZero
Nowy post na blogu! Identyfikacja wspólnych luk w zabezpieczeniach w zkVM-ach
(to jest część II naszej serii o bezpieczeństwie zkVM)
Chociaż zkVM-y pomagają zminimalizować złożoność ZK, nie eliminują wszystkich pułapek 🧵
(to jest część II naszej serii o bezpieczeństwie zkVM)
Chociaż zkVM-y pomagają zminimalizować złożoność ZK, nie eliminują wszystkich pułapek 🧵
Zdobądź przegląd narzędzi ZK Veridise i zajrzyj w to, co nas czeka. @IsilDillig dzieli się naszymi przyszłymi kierunkami na wydarzeniu @a16zcrypto.
Nasze narzędzia do wykrywania ZK wcześniej miały problemy z czasem odpowiedzi w 30% obwodów ZK. Jak to rozwiązaliśmy? @IsilDillig dzieli się spostrzeżeniami z naszej niedawnej pracy badawczej.
Jak utrzymujemy obwody ZK w solidnym i deterministycznym stanie podczas audytów? Nasz współzałożyciel @IsilDillig dzieli się spostrzeżeniami na temat łączenia analizy statycznej i rozwiązywaczy SMT w naszych narzędziach ZK.
Czy układy nadmiernie ograniczone stanowią wyzwanie w układach zerowej wiedzy?
Które stanowi większe zagrożenie: układy niedostatecznie ograniczone czy nadmiernie ograniczone? @IsilDillig wyjaśnia.
Które stanowi większe zagrożenie: układy niedostatecznie ograniczone czy nadmiernie ograniczone? @IsilDillig wyjaśnia.
Zaloguj się, aby odkryć więcej treści