Снарки з маленької літери Такі слова, як лазер, підводне плавання, радар починалися з великої літери. ЛАЗЕР — посилення світла за рахунок стимульованого випромінювання SCUBA — автономний підводний дихальний апарат RADAR — виявлення та дальність RAdio Коли технологія дозріває і стає надійною, надійною, комерціалізованою, вона пишеться з маленької літери. Lean Ethereum – це ставка на снарки, а не на лаконічні неінтерактивні аргументи знань. Постквантова безпека. Доведена обґрунтованість. Наскрізна формальна верифікація. Глибокий криптоаналіз. Перевірка в реальному часі. Програмованість zkVM. Простота і елегантність. Все необхідне для маленької літери. Все неминуче. Ethereum L1 має 10-річний час безвідмовної роботи та 1 трильйон доларів США, захищений хешами та підписами, нашими криптографічними робочими конячками. Я вірю в 100-річний час безвідмовної роботи та 1 квартал доларів, забезпечений снарками, нашими криптографічними реактивними двигунами. * Шкала L1 — гігагазна шкала 10K TPS з zkEVM в реальному часі * Безпека L1 — постквантова безпека з накрученими підписами * Конфіденційність L1 — стелс класу Zcash з червоточинами (наприклад, EIP-7503) Shipping Snarks – це криптографічний проект Манхеттена, в який EF інвестує десятки мільйонів в: * verified-zkevm[.]org — формальна верифікація * Ініціатива Посейдона[.]info — глибокий криптоаналіз * У порівн.org — перевірка в реальному часі * Близькість[.]org — доведена обґрунтованість * zkevm.ethereum[.]Фундація — закріплення * У порівн.dev — приватність Крок за кроком EF перетворюється на снарко-першу організацію: * Команда криптографії — забезпечення надійності та криптоаналізу * Команда snarkification — формальна перевірка водіння * Команда zkEVM — інтеграція з протоколом водіння * Команда Ethproofs — перевірка в режимі реального часу * Команда PSE — конфіденційність за кермом * Команда консенсусу PQ — незабаром™ Вірте в щось чарівне. Вірте в снарки з маленької літери.