Nedávná výzva @eth_proofs #4 se zaměřila na návrh na zakotvení RISC-V na @ethereum L1 a ponořila se do technických, architektonických a filozofických důsledků použití standardního ISA pro klienty zkVMs a Ethereum. Dvouhodinová relace představila aktualizace od týmů vytvářejících zkVMs, poskytovatelů hardwaru, výzkumníků formálního ověřování a vedení Etherea, včetně @VitalikButerin. Celá nahrávka: Shrnutí přednášek ⬇️