Jsme nadšeni, že můžeme spustit LLZK, open-source mezilehlou reprezentaci (IR) pro obvody s nulovými znalostmi. Myslete na LLVM, ale pro ZK. LLZK, který vytvořila společnost @VeridiseInc a je podporován grantem od @ethereumfndn, je nyní aktivní na GitHubu. Vlákno 🧵 1/4

Když jsme začali pracovat na nástrojích ZK, nebylo nic k dispozici. @FormallyJon se na @HouseofZK pohovoru podělí o naši cestu k nástrojům s nulovými znalostmi.

Co nás vedlo k vývoji Vanguard, našeho statického analyzátoru, a jak jsme jej rozšířili nad rámec Solidity? @FormallyJon vysvětluje v podcastu @HouseofZK.

Cannes, byli jste úžasní! Děkujeme všem, kteří se zastavili u našeho stánku, a @EthCC za to, že nás hostili. Zde je vizuální hostina 🌞 týdne

Pozdravy od @EthCC — Náš @KFerles CTO se podělí o to, jak zajišťujeme trvalý determinismus pro zkVMs, jako je @RiscZero

Získejte přehled o nástrojích ZK společnosti Veridise a letmý pohled na to, co bude dál. @IsilDillig se s vámi podělí o naše budoucí směřování na @a16zcrypto akci.

U našich detekčních nástrojů ZK dříve vypršel časový limit u 30 % obvodů ZK. Jak jsme to vyřešili? @IsilDillig sdílí poznatky z našeho nedávného výzkumného článku.

Jak udržujeme obvody ZK během auditů skálopevné a deterministické? Náš spoluzakladatel @IsilDillig sdílí poznatky o kombinaci statické analýzy a SMT řešičů v našich nástrojích ZK.

Jsou příliš omezené obvody výzvou v obvodech s nulovými znalostmi? Což představuje větší hrozbu: nedostatečně omezené nebo příliš omezené obvody? @IsilDillig to rozbíjí.

V neposlední řadě byla na PLDI vyhlášena také cena SIGPLAN Robin Milner Young Researcher Award. V letošním roce byla cena udělena Işılu Dilligovi (@IsilDillig), jehož výzkum měl hluboký a dalekosáhlý přínos k analýze, verifikaci a syntéze ⭐️ programů