Siamo entusiasti di lanciare LLZK, una rappresentazione intermedia (IR) open-source per circuiti a conoscenza zero. Pensate a LLVM, ma per ZK. Sviluppato da @VeridiseInc e supportato da una sovvenzione della @ethereumfndn, LLZK è ora attivo su GitHub. Thread 🧵 1/4

Quando abbiamo iniziato a lavorare sugli utensili ZK, non c'era nulla di disponibile. @FormallyJon condivide il nostro percorso di tooling a conoscenza zero durante @HouseofZK colloquio.

Cosa ci ha portato a sviluppare Vanguard, il nostro analizzatore statico, e come lo abbiamo esteso oltre Solidity? @FormallyJon spiega nel podcast @HouseofZK.

Cannes, sei stato fantastico! Grazie a tutti coloro che sono passati al nostro stand e a @EthCC per averci ospitato. Ecco una festa visiva della settimana 🌞

Saluti da @EthCC — Il nostro CTO @KFerles condivide il modo in cui forniamo un determinismo duraturo per zkVM come @RiscZero

Ottenete una panoramica degli strumenti ZK di Verise e date un'occhiata al futuro. @IsilDillig condivide le nostre direzioni future all'evento @a16zcrypto.

I nostri strumenti di rilevamento ZK in precedenza andavano in timeout sul 30% dei circuiti ZK. Come abbiamo risolto questo problema? @IsilDillig condivide le intuizioni del nostro recente documento di ricerca.

Come possiamo mantenere i circuiti ZK solidi e deterministici durante le verifiche? Il nostro co-fondatore @IsilDillig condivide intuizioni su come combinare l'analisi statica e i risolutori SMT nei nostri strumenti ZK.

I circuiti sovravincolati sono una sfida nei circuiti a conoscenza zero? Cosa rappresenta una minaccia maggiore: i circuiti sottovincolati o sovravincolati? @IsilDillig lo scompone.

Ultimo ma non meno importante, il SIGPLAN Robin Milner Young Researcher Award è stato annunciato anche al PLDI. Quest'anno, il premio è andato a Işıl Dillig (@IsilDillig), la cui ricerca ha avuto contributi profondi e di vasta portata all'analisi, alla verifica e alla sintesi ⭐️ dei programmi