Den nylige @eth_proofs Call #4 fokuserte på forslaget om å forankre RISC-V på @ethereum L1, og dykket ned i de tekniske, arkitektoniske og filosofiske implikasjonene av å bruke en standard ISA for zkVM-er og Ethereum-klienter. Den to timer lange økten inneholdt oppdateringer fra team som bygger zkVM-er, maskinvareleverandører, formelle verifiseringsforskere og Ethereum-ledelse, inkludert @VitalikButerin. Hele opptaket: Oppsummering av foredragene ⬇️