1/13 Lean Ethereum: перехід від виконання до верифікації Ця тема розбирає «Lean Ethereum» — бачення @drakefjustin щодо використання SNARK для виходу на «Гігагасний фронтир» без жертви децентралізації.