Jak wygląda zkVM zaprojektowane specjalnie dla konsensusu Ethereum? W tym odcinku (4/6 miniserii @LeanEthereum) badacze z Fundacji Ethereum, Thomas Coratger (@tcoratger) i Emile, rozmawiają z @nico_mnbl o projektowaniu i wdrażaniu leanVM, minimalnej maszyny wirtualnej używanej do agregacji podpisów post-kwantowych. Poruszają: – Dlaczego leanVM używa maszyny wirtualnej zamiast stałych obwodów, aby wspierać elastyczną agregację XMSS i kompozycję dowodów rekurencyjnych – Architektura leanVM: minimalny zestaw instrukcji (4 opkody) zaprojektowany dla prostoty i formalnej weryfikacji – Stos dowodowy za LeanVM: arytmetyzacja wieloliniowa, sprawdzenie sumy i schemat zobowiązań Weira – Szczegóły implementacji: optymalizacja CPU w dowodzeniu z Plonky3, techniki SIMD i haszowanie Poseidon2 – Benchmarki i ograniczenia dotyczące rekurencji oraz przepustowości agregacji XMSS Rozmawiają również o projektowaniu specyfikacji, metodologii benchmarkingu oraz otwartych pytaniach dotyczących wdrażania kryptografii post-kwantowej w Ethereum. Posłuchaj pełnego odcinka. —-------------------- CZASY 03:36 Dlaczego wybrano LeanVM 07:50 Minimalistyczny design LeanVM 08:34 Prostota ponad szybkość 19:34 Bezpieczeństwo i wybór pola 20:41 Wydajność i benchmarki agregacji 28:14 Specyfikacja Ethereum w Pythonie