Der jüngste @eth_proofs Call #4 konzentrierte sich auf den Vorschlag, RISC-V bei @ethereum L1 zu verankern, und tauchte in die technischen, architektonischen und philosophischen Implikationen der Verwendung einer standardisierten ISA für zkVMs und Ethereum-Clients ein. Die zweistündige Sitzung beinhaltete Updates von Teams, die zkVMs entwickeln, Hardware-Anbietern, Forschern zur formalen Verifikation und der Ethereum-Führung, einschließlich @VitalikButerin. Vollständige Aufnahme: Zusammenfassungen der Vorträge ⬇️