Scroll Talk — це серія подкастів, яку веде Scroll CN. Ми поговоримо з командою Scroll та екологічним проєктом Scroll у різних формах, щоб допомогти кожному краще зрозуміти Scroll.
У цьому епізоді ми попросили Є Чжана, співзасновника Scroll, поговорити з ним про Scroll і ZK, включаючи дизайн і компроміси zkEVM, вибір системи доказів, апаратно-прискорені мережі та майбутнє ZK.
**Ф.Ф.: Привіт усім, ласкаво просимо на Scroll Talk, сьогодні я дуже радий, що співзасновник Scroll Чжан Є, ми в Scroll CN також опублікували багато інтерв'ю та виступів про Чжан Є. Тоді це має бути перша особиста зустріч з Є, а потім перше велике спасибі за те, що Ви прийшли. У всій спільноті доказів з нульовим розголошенням Ye зараз дуже впливовий, але ми все одно хочемо, щоб Ye спочатку зробив просте самопредставлення. **
Є: Привіт, дякую Scroll CN за організацію цього інтерв'ю, а потім я завжди дякував Scroll CN за його внесок у китайську спільноту, включаючи якість перекладів, і за те, що він допоміг нам мати великий вплив у китайській спільноті. Просте самопредставлення, всім привіт, мене звати Чжан Є, а потім один із співзасновників Scroll, мій основний напрямок – дослідження, пов'язані з доказами з нульовим розголошенням. Раніше я зосереджувався на трьох напрямках.
Перший напрямок — це апаратне прискорення доведень з нульовим розголошенням***, яке почало здійснюватися близько 5 років тому, оскільки одним із найбільших вузьких місць у використанні доказів з нульовим розголошенням 5 років тому було те, що генерація доказів була дуже повільною. Наприклад, такому додатку, як Zcash, потрібно згенерувати доказ транзакції, можливо, 10 хвилин або більше. Це призводить до аргументу, що доведення з нульовим розголошенням не можуть бути прийняті багатьма системами, оскільки вони занадто неефективні. Тому моїм першим напрямком досліджень було те, як прискорити генерацію доказів за допомогою GPU, FPGA та апаратного забезпечення ASIC.
Другий напрямок - це криптографія і математика **** в задній частині часткового доведення знань. Тому що доведення з нульовим розголошенням є дуже складним криптографічним протоколом, який включає багато математики, такої як многочлени. Тоді моя основна дослідницька робота полягає в тому, щоб прочитати багато робіт, щоб побачити, як оптимізувати деякі з існуючих алгоритмів, які будуть більш теоретичними.
Третій напрямок - це більше прикладний рівень ***, тобто як спроектувати архітектуру для zkEVM, спроектувати схему, як згенерувати доказ для zkEVM.
Загалом він охоплює три напрямки: апаратне прискорення доведень з нульовим розголошенням, теоретичні алгоритми доведення з нульовим розголошенням та пов'язані з ними застосування доведень з нульовим розголошенням. ***
Потім у Scroll я в основному зосереджуся на деякій дослідницькій роботі, включаючи дослідження, пов'язані з доказами з нульовим розголошенням, дослідження дизайну протоколів, а потім деякі стратегії, пов'язані з усією компанією.
**Ф.Ф.: Дякую, Є, і тоді ми знаємо, що ви проводили дослідження ZK, яка мотивація змусила вас зайнятися Scroll, а потім глибоко зануритися в сферу ZK, що мотивує вас продовжувати?
Є: Це зовсім інша історія. Зараз більшість людей чули про докази з нульовим розголошенням або вивчали ZK, тому що розуміють, що блокчейн має потребу в доведеннях з нульовим розголошенням, але насправді мій процес навчання протилежний. Насправді я зробив навпаки, мене спочатку привабила ZK, а потім виявилося, що ZK можна використовувати в блокчейні. Коли я був студентом, я проводив деякі дослідження, пов'язані з алгоритмами апаратного прискорення, зі старшим співробітником лабораторії. Тоді найгарячішим на той момент було власне робити ШІ-прискорення, але мене не дуже цікавив ШІ, я відчував, що в його процесі налаштування параметрів немає математичної моделі, яку я міг би зрозуміти, тобто чому цей параметр буде результатом через навчання. Я віддаю перевагу більш детермінованій математиці, де я можу знати ймовірність того, що щось станеться. Тому я, природно, віддав би перевагу криптографічній теорії чисел, а потім відкрив алгоритм доведення з нульовим розголошенням, а потім виявив, що він має дуже великі вимоги до апаратного прискорення. Тому я почав займатися суміжними дослідженнями, а пізніше, в процесі вивчення алгоритмів прискорення, виявив, що сам алгоритм буде більш привабливим, ніж апаратне прискорення, тому що він включає в себе багато дуже розумної побудови полінома, якусь побудову протоколу і так далі. Якщо ви дійсно подивитеся на будь-який протокол доведення з нульовим розголошенням, ви побачите, що кодувати програми за допомогою дизайну поліномів дійсно геніально. Потім передайте кілька поліноміальних точок, щоб перевірити деякі властивості многочлена, і, нарешті, стисніть його в дуже, дуже маленьке доведення, вся математична побудова дуже геніальна. Отже, спочатку я увійшов в індустрію доказів з нульовим розголошенням, повністю приваблений чарівністю його математичної конструкції, а потім виявив, що те, що я вивчав, просто вирішило найбільшу проблему, з якою зараз зіткнувся блокчейн по суті, а саме масштабування. ***
Потім я пізніше зрозумів, що вся екосистема Ethereum дуже процвітаюча, і вона має дуже хорошу спільноту з відкритим вихідним кодом, що більше відповідає моїм особистим переконанням, і вся її дослідницька атмосфера, прийняття відкритого вихідного коду та академічний стиль строгості також зробили мене повністю привабливим для цього, і в той же час я зрозумів, що весь блокчейн - це не висяча історія, а справжня архітектура, яка може вирішити проблеми в житті багатьох людей. Це може бути наступне покоління фінансової інфраструктури, і багатьом людям дійсно потрібна прозорість, їм потрібен опір цензурі. Тому я думаю, що блокчейн має реальні сценарії застосування, і тоді в той же час моя технологія може вирішити цю проблему.
На початку 21 року найкращий вузол часу, тому що ефективність доведень з нульовим розголошенням зросла на 2-3 порядки. Коли технологія має 2-3 порядки вдосконалення, насправді з'являться величезні можливості, будь то підприємницькі можливості, або інші нові можливості. Тому що те, що раніше не можна було вирішити, тепер може бути вирішено. У той час я відчував, що zkEVM насправді є найбільшою можливістю, і не так багато людей цим займаються, або не так багато людей. Тоді у нас з'явилася дуже хороша можливість, укупі з накопиченням такої техніки, вирішити таку проблему, тому ми почали робити Scroll.
Насправді, до того, як я вступив до докторантури, я також робив докази з нульовим розголошенням. Але я зрозумів, що одна з речей, яку я зрозумів, це те, що ти працюєш в індустрії, наприклад, у Scroll, і у тебе є велика гнучкість, щоб проводити дослідження, пов'язані з ZK, тоді як у школі ти маєш працювати з ментором, і тоді ти можеш працювати лише в одному напрямку.
Але з Scroll у вас може бути більше гнучкості, тому що перша проблема, яку ви вирішуєте, є реальною галузевою проблемою, тому після того, як ви вирішите проблему, її вплив буде більшим. А по-друге, ви не будете обмежені лише однією областю вашого докторського дослідження, ви можете співпрацювати з більшою кількістю людей через деякі гранти, іншими способами. Отже, слова. По суті, в Scroll я роблю те ж саме, але в індустрії вона буде більш впливовою, вирішуватиме найреальніші проблеми, а сфера співпраці буде ширшою. Тому я думаю, що цей шлях буде для мене більш привабливим, ніж здобуття ступеня доктора філософії.
Розвиток технологій та майбутнє ZK
**Ф.Ф.: Дякую Є, хто розуміє захоплюючу чарівність математики, що лежить в основі ZK, а потім постійно заохочує вас до відповідних досліджень. Один із головних проривних моментів, про який я чув, має бути два-три роки тому, це ZK, схожий на цей рік, як вийшов ChatGPT, є дуже велика кількість проривів. **
Є: Так-так, я так думаю, але це не те, що ChatGPT є гарячою точкою, а потім раптом все підриває. Це процес суперпозиції багатьох шарів факторів, таких як напрямок апаратного прискорення, над яким я працював раніше, що може підвищити ефективність доведень з нульовим розголошенням у 10-100 разів; Потім додайте кілька нових представлень схеми за допомогою поліномів, таких як більш ефективні представлення через користувальницькі вентилі вищого порядку та таблиці підстановки, і зменшіть накладні витрати в 10 разів; Крім того, є деякі рекурсивні доведення, які об'єднують багато доказів і заощаджують багато коштів на перевірці цього фрагмента. Тому я думаю, що ці три пункти в сумі дають величезний приріст ефективності.
Зрештою, звичайно, результатом є підвищення ефективності, але це не те, що ChatGPT – це раптовий вибух, а результат зусиль експертів з криптографії та зусиль багатьох інженерів апаратного забезпечення. ***
**Ф.Ф.: Оскільки ми говорили про штучний інтелект, що ви думаєте про поєднання ZK та AI, включаючи те, що Worldcoin був випущений з використанням технології ZKML, у чому, на вашу думку, буде різниця між ZK, AI та двома відповідними галузями ZKML? **
**Є:**Я думаю *** Зараз дійсно багато людей займаються ZKML, але я думаю, що цей напрямок ще досить ранній ****, у нього є деякі сценарії застосування, такі як визначення того, чи дійсно фотографія зроблена через вашу камеру, немає складного PS; Це може довести, що аудіо не є людиною; Можна показати, що Microsoft не надає однакову модель всім, тому що, коли ви даєте моделі вхідні дані, і вона повертає вам вихідні дані, ви не можете бути впевнені, що це інша людина, яка змінює модель. Будуть такі маленькі сценарії застосування, але я не бачив особливо великого попиту, чому ZKML має бути таким поширеним застосуванням, як ШІ. ***
Тому що, наприклад, як і ChatGPT, більшість компаній, які володіють моделлю, є абсолютно потужними, і їм не потрібно доводити вам, що я маю використовувати модель, і ви не можете попросити його це зробити. Я думаю, що якщо це не відбувається на ринку, де є 10 компаній, таких як ChatGPT, і ChatGPT не хоче цього робити, то одна з інших компаній готова це зробити. Хвиля користувачів з таким попитом вибере послуги, що надаються цією компанією. Але зараз це ринок лише кількох компаній, які можуть зробити щось на кшталт ChatGPT, і тоді у них немає сильного стимулу чи стимулу робити це за вас. Тому я думаю, що цей шлях все ще досить довгий, плюс багато речей, таких як фотографії чи аудіо, все ще є багато проблем, які не були вирішені, і вам також може знадобитися деяке обладнання для створення цієї системи.
Загалом, я думаю, що попереду ще довгий шлях, звичайно, я думаю, що ZKML матиме деякі нові стратегії ігрового процесу в управлінні ліквідністю, а потім можуть бути невеликі варіанти використання, а більші сценарії застосування все ще потребують часу для тестування, щоб знайти продукт, який відповідає ринку. І ZKML насправді не може довести, що тренувальний процес правильний, він може лише довести, що імпакт-фактор правильний, тому це ще більше обмежує те, що він може зробити, я думаю, що ще є певний шлях, який потрібно пройти. ***
Більшість компаній ЗКМЛ все ще розробляють інструменти. Я знаю, що деякі компанії ZKML з'ясовують, як конвертувати код, написаний на TensorFlow або Pytorch, безпосередньо в схеми ZK і безпосередньо генерувати докази, що може бути цікавим напрямком. Починати з DSL, SDK, а потім заохочувати всіх до нових інновацій ще дуже рано. Я думаю, що з часом це може перерости в ZK як загальні обчислення, але деякі бібліотеки алгоритмів, більш придатні для ML, такі як деяке множення матриць або згортка, будуть більш сприятливими для таких додатків, ніж просто ZKML, я думаю, що попереду ще довгий шлях.
Крім того, є Деніел Канг, професор UIUC, якого ми запросили виступити з доповіддю на симпозіумі ZK Scroll, тож якщо вас цікавить цей напрямок, ви можете переглянути нашу серію.
**Ф.Ф.: Добре, дякую, Є. Тоді я відчуваю, що ZKML, або відносно рано, зараз є деякі відносно невеликі напрямки будівництва, пов'язані з загальними обчисленнями все ще відносно рано, може отримати пізніший ринок дуже зрілий, коли у нас є потреби в конфіденційності, ZKML матиме своє місце. Якщо поглянути на ширшу сферу застосування ZK, то Віталік раніше зробив заяву, що приблизно означає, що ZK і блокчейн є однаково важливими поняттями, що ви думаєте про цю точку зору? **
Є: Я думаю, що це правда, тому що ZK дійсно вирішує багато проблем, які блокчейн не може вирішити, і це дуже ідеальне поєднання. Блокчейн не може вирішити проблему масштабування, ZK може стиснути розрахунок і вирішити проблему масштабування. Блокчейн завжди відкритий і прозорий, він не може вирішити проблему приватності, ZK може приховати інформацію, може вирішити проблему приватності. Тому я думаю, що ZK і блокчейн - це, природно, дуже хороша комбінація. ***
Крім того, підтримка ZK загальних обчислень також дуже швидка, тому я думаю, що у неї є дуже великі можливості. Наприклад, з точки зору конфіденційності, таких як приватні транзакції, пули конфіденційності, включаючи деякі ончейн-покери, ви не хочете роздавати карти в ланцюжку, інші бачать ваші карти, ви можете приховати інформацію за допомогою доказів з нульовим розголошенням. Подібні ігри, які приховують інформацію, можна робити тільки на блокчейне через ЗК. З точки зору конфіденційності, ZK Identity також є дуже цікавим маленьким напрямком, дуже перспективним, як дозволити мільярду користувачів використовувати блокчейн, тоді нам може знадобитися зробити деякі існуючі системи ідентифікації ZK, і тоді кожен готовий розмістити на ньому якусь інформацію.
Потім слова, пов'язані з масштабованістю, такі як різні зведення для стиснення обчислень, різні співпроцесори для стиснення деяких обчислень, і, нарешті, помістіть доказ у ланцюжок, так що це дуже хороша комбінація ончейн і офчейн.
Є також кілька дуже цікавих невеликих напрямків, які є перспективними, і є команди, які будують якісь кросчейн-мости ZK, або обладнання ZK для надання послуг. Але я думаю, що до того, щоб стати особливо зрілим, ще кілька років. Незалежно від того, чи це зручність SDK для розробників, чи ефективність ZK, з точки зору безпеки ще довгий шлях.
**Ф.Ф.: Зрозумійте, дякую Є, послухайте ваш опис, ZK і блокчейн еквівалентні взаємодоповнюючим відносинам, тому, на додаток до цих щойно згаданих сценаріїв застосування, з точки зору ефективності та справедливості, які, на вашу думку, зміни ця технологічна інновація принесе в реальний світ? **
Так:** Я думаю, що це дуже сильна функція - мати можливість зробити будь-які обчислення недовірливими. Ви можете закинути будь-які обчислення на платформу, якій ви не довіряєте, а потім попросити її повернути вам результат, згенерувати доказ і довести, що її результат правильний. Це гарантує, що ваші розрахунки будуть правильними та перевіреними. Крім того, інші додатки, як я вже сказав, - це ідентифікація, конфіденційність, масштабованість і так далі.
**Ф.Ф.: Зрозумійте, дякую Є, тобто ZK це може мати благословення на загальні обчислення, будь то забезпечення конфіденційності чи достовірності, це дуже перспективний напрямок, якщо ви не займаєтеся Scroll, нехай ви почнете другий бізнес у сфері ZK, який напрямок і напрямок ви виберете? **
Є: Це дуже складне питання, я думаю *** перш за все, zkEVM це однозначно найбільший напрямок, тому що він несе вхід трафіку Ethereum, він повинен бути найбільшим ***. Якщо мені доведеться обирати інші напрямки, я особисто досить оптимістично налаштований щодо створення співпроцесорів, і можу дуже ефективно робити обчислення, не пов'язані з EVM, і перевіряти. З іншого боку, я вважаю, що дуже складно побудувати хорошу систему ідентифікації, і вона може вирішити багато реальних проблем, особливо коли я ходив до Африка раніше, я бачив багато проблем, викликаних незрілістю фінансової інфраструктури, тому я думаю, що айдентика буде великим напрямком.
Потім, якщо мені особисто доведеться вибирати, я думаю *** Якщо обсяг не дуже великий, я думаю можливість ідентичності велика, а якщо це дуже сильна інженерна команда, вона повинна робити більш складні речі, я думаю цей співпроцесор ZK буде кращим напрямком ***, але зараз занадто багато людей в цьому треку. Тому я думаю, що айдентика буде треком, який ще не популяризований, і я думаю, що це не тільки напрямок, який потребує технологій, а й бізнес-стратегії. Ви повинні подумати про те, з якими діловими партнерами ви хочете працювати, чи можете ви безпосередньо ZK їх великий обсяг даних, щоб ви могли швидше розширити свою базу користувачів, технологія може бути меншою проблемою.
Якщо ви дуже новаторська людина, ви також можете спробувати напрямок ігор ZK, гра вимагає, щоб у вас був хороший дизайн, ZK інформація, яку потрібно приховати. Але ZK не є універсальним інструментом, і він не може вирішити всі проблеми конфіденційності. Це вимагатиме від того, хто вимагає, знання певної інформації. Тому я думаю, що цю гру потрібно розробити дуже розумно, щоб використовувати ZK до крайності. Якщо ви людина, яка має багато ідей і любить грати в ігри, чітко продумати свою ігрову логіку і створити веселу гру ZK - це теж дуже цікавий напрямок.
Ф.Ф.: Дякую, Є. Ви щойно згадали про три напрямки, перший – це співпроцесор, подібний до напрямку, який робить Axiom; По-друге, напрямок ідентичності, який можна зрозуміти, що робить Worldcoin, є одним з особливих прикладів; Третьою має стати гра, яка буде щоденним контактним напрямком для звичайних користувачів. Тоді ви щойно згадали, що щойно повернулися з Африка, тому, до речі, ми хочемо попросити вас цього разу поїхати до Африка просувати технологію ZK, включаючи Ethereum, які переваги?
Є: Це був дуже унікальний досвід. Щоб коротко довідатися, у лютому цього року Віталік, Айя та інші з Ethereum Foundation відвідали 4 країни у Африка. Вони, ймовірно, проводять близько місяця, проводячи заходи з африканськими громадами, а потім зустрічайтеся з деякими засновниками Африка, щоб дізнатися про континент. Оскільки Ethereum насправді є відносно невеликою спільнотою в Африка, вони відвідують її, щоб дізнатися про поточний стан спільноти. Що зараз потрібно спільноті, щоб поширити цю цінність Ethereum. Вони дійшли висновку, що Ethereum все одно трохи дорогий.
Вони сподіваються організувати подорож до рівня 2, яка приведе рівень 2 Ethereum до Африка. Оскільки люди в Африка не можуть дозволити собі Ethereum, тому вони можуть увійти у світ Ethereum лише через рівень 2. Тож у квітні та травні цього року я також зустрівся з Джозефом, організатором їхньої поїздки, через Віталіка, щоб дізнатися, чи є можливість сказати, що я можу організувати подорож рівня 2. Після розмови ми відчули, що наші цінності дуже збігаються. Оскільки частина цінностей Scroll полягає в тому, що ми хочемо залучити реальних користувачів і варіанти використання до блокчейну, ми раді дізнатися про деякі реальні потреби в Африка.
Поїхавши туди, я побачу, що він дійсно інший, що робить мене більш впевненим у реальних варіантах використання *** країн, що розвиваються, і країн, що розвиваються. Тому що насправді, перш ніж піти в Африка, багато людей, в тому числі і ті, з ким я зараз спілкуюся, все ще задаються питанням, тобто чи є блокчейн реальним попитом. Це не просто шахрайство, це просто інструмент для всіх для випуску токенів. Я думаю, що люди, які можуть сказати таку заяву, насправді тому, що чи то в Китаї, чи в інших частинах Азії, чи на Заході, у Сполучених Штатах і Європі, всі розуміють блокчейн як гігантські кити, майнінг ліквідності. Справа не в тому, що їм дійсно потрібен блокчейн в житті, але вони просто відчувають, що на ньому є якісь інструменти, які можуть зробити його більш прибутковим, а іноді його власність може бути в більшій безпеці на ньому. Це не особливо потрібний інструмент.
Двома країнами, які ми відвідали, були Кенія та Нігерія, і було зрозуміло, що всім там дійсно потрібен блокчейн як платформа для повсякденного життя. Дуже очевидним прикладом є те, що немає можливості переказати гроші безпосередньо через банк, щоб здійснити переказ між двома сусідніми країнами в Африка, і для того, щоб дійти до рахунку, потрібно велике коло. Тому що їхня фінансова інфраструктура дуже погана, і вони абсолютно не в змозі побудувати глобальну систему підтримки.
Тому їм дійсно потрібен платіжний інструмент в першу чергу, а блокчейн дуже корисний саме як платіжний інструмент і дійсно може змінити їхнє життя. Тому що їм потрібен блокчейн-платіжний засіб, якщо вони їдуть в інші сусідні країни. Багато людей кажуть, що те, що може зробити блокчейн, просто глобальна платіжна система, звучить як дуже одноразове використання. Але глобальна платіжна система може вирішити потреби багатьох людей, особливо в країнах, де фінансова інфраструктура не настільки досконала. Але оскільки ви можете бути в Китаї, США, Європі, де дуже хороша інфраструктура, ви зазвичай не турбуєтеся про такі проблеми.
По-друге, інфляція у них дуже висока. Їхня валюта, можливо, була інфляційною на рівні 10% з того часу, як ми туди потрапили. Уявіть, що юань або долар США у вас в руках знеціниться на 10% через місяць, а фінансовий менеджмент може зрости лише на 3~4% на рік, і тоді ціни зростають. Це впливає на їхнє життя, і тоді стейблкоїни є для них способом отримати долари, їм потрібні долари, тому що інфляція долара низька, тому вони хочуть отримати долари, але вони не можуть отримати долари, тому що вони не можуть відкрити рахунок у банку США. Таким чином, вони фактично отримують USDT, купуючи доларові стейблкоїни, а потім зберігаючи деякі ончейн-активи, що є дуже важливим способом запобігання гіперінфляції. Можливо, кожен може тримати юань у Китаї, а USDT потрібен лише при купівлі криптовалют. Але вони потрібні в реальному житті, і вони часто здійснюють позабіржові транзакції та конвертують їх у власну валюту, коли фактично її використовують. Тому я думаю, що це великий сценарій застосування, і в цих країнах і в багатьох інших місцях вони дійсно мають таку потребу.
І третя річ, через недосконалість їхньої фінансової інфраструктури, призвела до того, що їхній кредитний рейтинг та ідентичність були дуже недосконалими під час запозичень. Тому вони позичають гроші, скажімо, 100 доларів, це може зайняти місяць, і їм потрібні різні погодження, тому що інформація не перетікає між різними фінансовими установами. Так що це призводить до того, що *** кредитування, як дуже великий бізнес банків або багатьох фінансових установ, дуже недосконале на своєму місці. Тому я думаю, що це також величезна можливість. ***
У Африка існує безліч реальних сценаріїв застосування, для яких потрібен блокчейн. Наприклад, якщо є хороша система ідентифікації для вирішення їх проблем, може надати їм якісь кредити або інші послуги в ланцюжку, я думаю, що це буде дуже цінною річчю. Це перший раз, коли я відчуваю, що ваші технології дійсно змінюють життя людей у багатьох куточках світу, і це дуже важливо.
Частина цінностей Scroll полягає в тому, що ми хочемо залучити наступний мільярд людей до Ethereum. Люди часто скаржаться, що BSC дуже недецентралізований, Ethereum дуже децентралізований, але ефір дорогий. Крім того, на BSC є багато реальних користувачів, які просто грають, тому що є Binance, а потім Африка те, що я побачив вперше, є багато людей, які дійсно використовують Binance для здійснення платежів, тому що вона дуже проста і легка у використанні. Ми сподіваємося повернути цю частину реальних користувачів до Ethereum, це частина нашої місії, ми хочемо повернути наступний мільярд користувачів до більш надійного Ethereum після зниження комісій через рівень 2. Тому що, якщо ви зберігаєте свої гроші на централізованій біржі, можуть виникнути деякі проблеми. Тому ми сподіваємося, що зможемо розмістити його на рівні 2, а потім успадкувати безпеку Ethereum, що є чудовою можливістю.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Scroll Talk #1: Scroll йде рука об руку з ZK
Джерело: Scroll CN
Scroll Talk — це серія подкастів, яку веде Scroll CN. Ми поговоримо з командою Scroll та екологічним проєктом Scroll у різних формах, щоб допомогти кожному краще зрозуміти Scroll.
У цьому епізоді ми попросили Є Чжана, співзасновника Scroll, поговорити з ним про Scroll і ZK, включаючи дизайн і компроміси zkEVM, вибір системи доказів, апаратно-прискорені мережі та майбутнє ZK.
**Ф.Ф.: Привіт усім, ласкаво просимо на Scroll Talk, сьогодні я дуже радий, що співзасновник Scroll Чжан Є, ми в Scroll CN також опублікували багато інтерв'ю та виступів про Чжан Є. Тоді це має бути перша особиста зустріч з Є, а потім перше велике спасибі за те, що Ви прийшли. У всій спільноті доказів з нульовим розголошенням Ye зараз дуже впливовий, але ми все одно хочемо, щоб Ye спочатку зробив просте самопредставлення. **
Є: Привіт, дякую Scroll CN за організацію цього інтерв'ю, а потім я завжди дякував Scroll CN за його внесок у китайську спільноту, включаючи якість перекладів, і за те, що він допоміг нам мати великий вплив у китайській спільноті. Просте самопредставлення, всім привіт, мене звати Чжан Є, а потім один із співзасновників Scroll, мій основний напрямок – дослідження, пов'язані з доказами з нульовим розголошенням. Раніше я зосереджувався на трьох напрямках.
Перший напрямок — це апаратне прискорення доведень з нульовим розголошенням***, яке почало здійснюватися близько 5 років тому, оскільки одним із найбільших вузьких місць у використанні доказів з нульовим розголошенням 5 років тому було те, що генерація доказів була дуже повільною. Наприклад, такому додатку, як Zcash, потрібно згенерувати доказ транзакції, можливо, 10 хвилин або більше. Це призводить до аргументу, що доведення з нульовим розголошенням не можуть бути прийняті багатьма системами, оскільки вони занадто неефективні. Тому моїм першим напрямком досліджень було те, як прискорити генерацію доказів за допомогою GPU, FPGA та апаратного забезпечення ASIC.
Другий напрямок - це криптографія і математика **** в задній частині часткового доведення знань. Тому що доведення з нульовим розголошенням є дуже складним криптографічним протоколом, який включає багато математики, такої як многочлени. Тоді моя основна дослідницька робота полягає в тому, щоб прочитати багато робіт, щоб побачити, як оптимізувати деякі з існуючих алгоритмів, які будуть більш теоретичними.
Третій напрямок - це більше прикладний рівень ***, тобто як спроектувати архітектуру для zkEVM, спроектувати схему, як згенерувати доказ для zkEVM.
Загалом він охоплює три напрямки: апаратне прискорення доведень з нульовим розголошенням, теоретичні алгоритми доведення з нульовим розголошенням та пов'язані з ними застосування доведень з нульовим розголошенням. ***
Потім у Scroll я в основному зосереджуся на деякій дослідницькій роботі, включаючи дослідження, пов'язані з доказами з нульовим розголошенням, дослідження дизайну протоколів, а потім деякі стратегії, пов'язані з усією компанією.
**Ф.Ф.: Дякую, Є, і тоді ми знаємо, що ви проводили дослідження ZK, яка мотивація змусила вас зайнятися Scroll, а потім глибоко зануритися в сферу ZK, що мотивує вас продовжувати?
Є: Це зовсім інша історія. Зараз більшість людей чули про докази з нульовим розголошенням або вивчали ZK, тому що розуміють, що блокчейн має потребу в доведеннях з нульовим розголошенням, але насправді мій процес навчання протилежний. Насправді я зробив навпаки, мене спочатку привабила ZK, а потім виявилося, що ZK можна використовувати в блокчейні. Коли я був студентом, я проводив деякі дослідження, пов'язані з алгоритмами апаратного прискорення, зі старшим співробітником лабораторії. Тоді найгарячішим на той момент було власне робити ШІ-прискорення, але мене не дуже цікавив ШІ, я відчував, що в його процесі налаштування параметрів немає математичної моделі, яку я міг би зрозуміти, тобто чому цей параметр буде результатом через навчання. Я віддаю перевагу більш детермінованій математиці, де я можу знати ймовірність того, що щось станеться. Тому я, природно, віддав би перевагу криптографічній теорії чисел, а потім відкрив алгоритм доведення з нульовим розголошенням, а потім виявив, що він має дуже великі вимоги до апаратного прискорення. Тому я почав займатися суміжними дослідженнями, а пізніше, в процесі вивчення алгоритмів прискорення, виявив, що сам алгоритм буде більш привабливим, ніж апаратне прискорення, тому що він включає в себе багато дуже розумної побудови полінома, якусь побудову протоколу і так далі. Якщо ви дійсно подивитеся на будь-який протокол доведення з нульовим розголошенням, ви побачите, що кодувати програми за допомогою дизайну поліномів дійсно геніально. Потім передайте кілька поліноміальних точок, щоб перевірити деякі властивості многочлена, і, нарешті, стисніть його в дуже, дуже маленьке доведення, вся математична побудова дуже геніальна. Отже, спочатку я увійшов в індустрію доказів з нульовим розголошенням, повністю приваблений чарівністю його математичної конструкції, а потім виявив, що те, що я вивчав, просто вирішило найбільшу проблему, з якою зараз зіткнувся блокчейн по суті, а саме масштабування. ***
Потім я пізніше зрозумів, що вся екосистема Ethereum дуже процвітаюча, і вона має дуже хорошу спільноту з відкритим вихідним кодом, що більше відповідає моїм особистим переконанням, і вся її дослідницька атмосфера, прийняття відкритого вихідного коду та академічний стиль строгості також зробили мене повністю привабливим для цього, і в той же час я зрозумів, що весь блокчейн - це не висяча історія, а справжня архітектура, яка може вирішити проблеми в житті багатьох людей. Це може бути наступне покоління фінансової інфраструктури, і багатьом людям дійсно потрібна прозорість, їм потрібен опір цензурі. Тому я думаю, що блокчейн має реальні сценарії застосування, і тоді в той же час моя технологія може вирішити цю проблему.
На початку 21 року найкращий вузол часу, тому що ефективність доведень з нульовим розголошенням зросла на 2-3 порядки. Коли технологія має 2-3 порядки вдосконалення, насправді з'являться величезні можливості, будь то підприємницькі можливості, або інші нові можливості. Тому що те, що раніше не можна було вирішити, тепер може бути вирішено. У той час я відчував, що zkEVM насправді є найбільшою можливістю, і не так багато людей цим займаються, або не так багато людей. Тоді у нас з'явилася дуже хороша можливість, укупі з накопиченням такої техніки, вирішити таку проблему, тому ми почали робити Scroll.
Насправді, до того, як я вступив до докторантури, я також робив докази з нульовим розголошенням. Але я зрозумів, що одна з речей, яку я зрозумів, це те, що ти працюєш в індустрії, наприклад, у Scroll, і у тебе є велика гнучкість, щоб проводити дослідження, пов'язані з ZK, тоді як у школі ти маєш працювати з ментором, і тоді ти можеш працювати лише в одному напрямку.
Але з Scroll у вас може бути більше гнучкості, тому що перша проблема, яку ви вирішуєте, є реальною галузевою проблемою, тому після того, як ви вирішите проблему, її вплив буде більшим. А по-друге, ви не будете обмежені лише однією областю вашого докторського дослідження, ви можете співпрацювати з більшою кількістю людей через деякі гранти, іншими способами. Отже, слова. По суті, в Scroll я роблю те ж саме, але в індустрії вона буде більш впливовою, вирішуватиме найреальніші проблеми, а сфера співпраці буде ширшою. Тому я думаю, що цей шлях буде для мене більш привабливим, ніж здобуття ступеня доктора філософії.
Розвиток технологій та майбутнє ZK
**Ф.Ф.: Дякую Є, хто розуміє захоплюючу чарівність математики, що лежить в основі ZK, а потім постійно заохочує вас до відповідних досліджень. Один із головних проривних моментів, про який я чув, має бути два-три роки тому, це ZK, схожий на цей рік, як вийшов ChatGPT, є дуже велика кількість проривів. **
Є: Так-так, я так думаю, але це не те, що ChatGPT є гарячою точкою, а потім раптом все підриває. Це процес суперпозиції багатьох шарів факторів, таких як напрямок апаратного прискорення, над яким я працював раніше, що може підвищити ефективність доведень з нульовим розголошенням у 10-100 разів; Потім додайте кілька нових представлень схеми за допомогою поліномів, таких як більш ефективні представлення через користувальницькі вентилі вищого порядку та таблиці підстановки, і зменшіть накладні витрати в 10 разів; Крім того, є деякі рекурсивні доведення, які об'єднують багато доказів і заощаджують багато коштів на перевірці цього фрагмента. Тому я думаю, що ці три пункти в сумі дають величезний приріст ефективності.
Зрештою, звичайно, результатом є підвищення ефективності, але це не те, що ChatGPT – це раптовий вибух, а результат зусиль експертів з криптографії та зусиль багатьох інженерів апаратного забезпечення. ***
**Ф.Ф.: Оскільки ми говорили про штучний інтелект, що ви думаєте про поєднання ZK та AI, включаючи те, що Worldcoin був випущений з використанням технології ZKML, у чому, на вашу думку, буде різниця між ZK, AI та двома відповідними галузями ZKML? **
**Є:**Я думаю *** Зараз дійсно багато людей займаються ZKML, але я думаю, що цей напрямок ще досить ранній ****, у нього є деякі сценарії застосування, такі як визначення того, чи дійсно фотографія зроблена через вашу камеру, немає складного PS; Це може довести, що аудіо не є людиною; Можна показати, що Microsoft не надає однакову модель всім, тому що, коли ви даєте моделі вхідні дані, і вона повертає вам вихідні дані, ви не можете бути впевнені, що це інша людина, яка змінює модель. Будуть такі маленькі сценарії застосування, але я не бачив особливо великого попиту, чому ZKML має бути таким поширеним застосуванням, як ШІ. ***
Тому що, наприклад, як і ChatGPT, більшість компаній, які володіють моделлю, є абсолютно потужними, і їм не потрібно доводити вам, що я маю використовувати модель, і ви не можете попросити його це зробити. Я думаю, що якщо це не відбувається на ринку, де є 10 компаній, таких як ChatGPT, і ChatGPT не хоче цього робити, то одна з інших компаній готова це зробити. Хвиля користувачів з таким попитом вибере послуги, що надаються цією компанією. Але зараз це ринок лише кількох компаній, які можуть зробити щось на кшталт ChatGPT, і тоді у них немає сильного стимулу чи стимулу робити це за вас. Тому я думаю, що цей шлях все ще досить довгий, плюс багато речей, таких як фотографії чи аудіо, все ще є багато проблем, які не були вирішені, і вам також може знадобитися деяке обладнання для створення цієї системи.
Загалом, я думаю, що попереду ще довгий шлях, звичайно, я думаю, що ZKML матиме деякі нові стратегії ігрового процесу в управлінні ліквідністю, а потім можуть бути невеликі варіанти використання, а більші сценарії застосування все ще потребують часу для тестування, щоб знайти продукт, який відповідає ринку. І ZKML насправді не може довести, що тренувальний процес правильний, він може лише довести, що імпакт-фактор правильний, тому це ще більше обмежує те, що він може зробити, я думаю, що ще є певний шлях, який потрібно пройти. ***
Більшість компаній ЗКМЛ все ще розробляють інструменти. Я знаю, що деякі компанії ZKML з'ясовують, як конвертувати код, написаний на TensorFlow або Pytorch, безпосередньо в схеми ZK і безпосередньо генерувати докази, що може бути цікавим напрямком. Починати з DSL, SDK, а потім заохочувати всіх до нових інновацій ще дуже рано. Я думаю, що з часом це може перерости в ZK як загальні обчислення, але деякі бібліотеки алгоритмів, більш придатні для ML, такі як деяке множення матриць або згортка, будуть більш сприятливими для таких додатків, ніж просто ZKML, я думаю, що попереду ще довгий шлях.
Крім того, є Деніел Канг, професор UIUC, якого ми запросили виступити з доповіддю на симпозіумі ZK Scroll, тож якщо вас цікавить цей напрямок, ви можете переглянути нашу серію.
**Ф.Ф.: Добре, дякую, Є. Тоді я відчуваю, що ZKML, або відносно рано, зараз є деякі відносно невеликі напрямки будівництва, пов'язані з загальними обчисленнями все ще відносно рано, може отримати пізніший ринок дуже зрілий, коли у нас є потреби в конфіденційності, ZKML матиме своє місце. Якщо поглянути на ширшу сферу застосування ZK, то Віталік раніше зробив заяву, що приблизно означає, що ZK і блокчейн є однаково важливими поняттями, що ви думаєте про цю точку зору? **
Є: Я думаю, що це правда, тому що ZK дійсно вирішує багато проблем, які блокчейн не може вирішити, і це дуже ідеальне поєднання. Блокчейн не може вирішити проблему масштабування, ZK може стиснути розрахунок і вирішити проблему масштабування. Блокчейн завжди відкритий і прозорий, він не може вирішити проблему приватності, ZK може приховати інформацію, може вирішити проблему приватності. Тому я думаю, що ZK і блокчейн - це, природно, дуже хороша комбінація. ***
Крім того, підтримка ZK загальних обчислень також дуже швидка, тому я думаю, що у неї є дуже великі можливості. Наприклад, з точки зору конфіденційності, таких як приватні транзакції, пули конфіденційності, включаючи деякі ончейн-покери, ви не хочете роздавати карти в ланцюжку, інші бачать ваші карти, ви можете приховати інформацію за допомогою доказів з нульовим розголошенням. Подібні ігри, які приховують інформацію, можна робити тільки на блокчейне через ЗК. З точки зору конфіденційності, ZK Identity також є дуже цікавим маленьким напрямком, дуже перспективним, як дозволити мільярду користувачів використовувати блокчейн, тоді нам може знадобитися зробити деякі існуючі системи ідентифікації ZK, і тоді кожен готовий розмістити на ньому якусь інформацію.
Потім слова, пов'язані з масштабованістю, такі як різні зведення для стиснення обчислень, різні співпроцесори для стиснення деяких обчислень, і, нарешті, помістіть доказ у ланцюжок, так що це дуже хороша комбінація ончейн і офчейн.
Є також кілька дуже цікавих невеликих напрямків, які є перспективними, і є команди, які будують якісь кросчейн-мости ZK, або обладнання ZK для надання послуг. Але я думаю, що до того, щоб стати особливо зрілим, ще кілька років. Незалежно від того, чи це зручність SDK для розробників, чи ефективність ZK, з точки зору безпеки ще довгий шлях.
**Ф.Ф.: Зрозумійте, дякую Є, послухайте ваш опис, ZK і блокчейн еквівалентні взаємодоповнюючим відносинам, тому, на додаток до цих щойно згаданих сценаріїв застосування, з точки зору ефективності та справедливості, які, на вашу думку, зміни ця технологічна інновація принесе в реальний світ? **
Так:** Я думаю, що це дуже сильна функція - мати можливість зробити будь-які обчислення недовірливими. Ви можете закинути будь-які обчислення на платформу, якій ви не довіряєте, а потім попросити її повернути вам результат, згенерувати доказ і довести, що її результат правильний. Це гарантує, що ваші розрахунки будуть правильними та перевіреними. Крім того, інші додатки, як я вже сказав, - це ідентифікація, конфіденційність, масштабованість і так далі.
**Ф.Ф.: Зрозумійте, дякую Є, тобто ZK це може мати благословення на загальні обчислення, будь то забезпечення конфіденційності чи достовірності, це дуже перспективний напрямок, якщо ви не займаєтеся Scroll, нехай ви почнете другий бізнес у сфері ZK, який напрямок і напрямок ви виберете? **
Є: Це дуже складне питання, я думаю *** перш за все, zkEVM це однозначно найбільший напрямок, тому що він несе вхід трафіку Ethereum, він повинен бути найбільшим ***. Якщо мені доведеться обирати інші напрямки, я особисто досить оптимістично налаштований щодо створення співпроцесорів, і можу дуже ефективно робити обчислення, не пов'язані з EVM, і перевіряти. З іншого боку, я вважаю, що дуже складно побудувати хорошу систему ідентифікації, і вона може вирішити багато реальних проблем, особливо коли я ходив до Африка раніше, я бачив багато проблем, викликаних незрілістю фінансової інфраструктури, тому я думаю, що айдентика буде великим напрямком.
Потім, якщо мені особисто доведеться вибирати, я думаю *** Якщо обсяг не дуже великий, я думаю можливість ідентичності велика, а якщо це дуже сильна інженерна команда, вона повинна робити більш складні речі, я думаю цей співпроцесор ZK буде кращим напрямком ***, але зараз занадто багато людей в цьому треку. Тому я думаю, що айдентика буде треком, який ще не популяризований, і я думаю, що це не тільки напрямок, який потребує технологій, а й бізнес-стратегії. Ви повинні подумати про те, з якими діловими партнерами ви хочете працювати, чи можете ви безпосередньо ZK їх великий обсяг даних, щоб ви могли швидше розширити свою базу користувачів, технологія може бути меншою проблемою.
Якщо ви дуже новаторська людина, ви також можете спробувати напрямок ігор ZK, гра вимагає, щоб у вас був хороший дизайн, ZK інформація, яку потрібно приховати. Але ZK не є універсальним інструментом, і він не може вирішити всі проблеми конфіденційності. Це вимагатиме від того, хто вимагає, знання певної інформації. Тому я думаю, що цю гру потрібно розробити дуже розумно, щоб використовувати ZK до крайності. Якщо ви людина, яка має багато ідей і любить грати в ігри, чітко продумати свою ігрову логіку і створити веселу гру ZK - це теж дуже цікавий напрямок.
Ф.Ф.: Дякую, Є. Ви щойно згадали про три напрямки, перший – це співпроцесор, подібний до напрямку, який робить Axiom; По-друге, напрямок ідентичності, який можна зрозуміти, що робить Worldcoin, є одним з особливих прикладів; Третьою має стати гра, яка буде щоденним контактним напрямком для звичайних користувачів. Тоді ви щойно згадали, що щойно повернулися з Африка, тому, до речі, ми хочемо попросити вас цього разу поїхати до Африка просувати технологію ZK, включаючи Ethereum, які переваги?
Є: Це був дуже унікальний досвід. Щоб коротко довідатися, у лютому цього року Віталік, Айя та інші з Ethereum Foundation відвідали 4 країни у Африка. Вони, ймовірно, проводять близько місяця, проводячи заходи з африканськими громадами, а потім зустрічайтеся з деякими засновниками Африка, щоб дізнатися про континент. Оскільки Ethereum насправді є відносно невеликою спільнотою в Африка, вони відвідують її, щоб дізнатися про поточний стан спільноти. Що зараз потрібно спільноті, щоб поширити цю цінність Ethereum. Вони дійшли висновку, що Ethereum все одно трохи дорогий.
Вони сподіваються організувати подорож до рівня 2, яка приведе рівень 2 Ethereum до Африка. Оскільки люди в Африка не можуть дозволити собі Ethereum, тому вони можуть увійти у світ Ethereum лише через рівень 2. Тож у квітні та травні цього року я також зустрівся з Джозефом, організатором їхньої поїздки, через Віталіка, щоб дізнатися, чи є можливість сказати, що я можу організувати подорож рівня 2. Після розмови ми відчули, що наші цінності дуже збігаються. Оскільки частина цінностей Scroll полягає в тому, що ми хочемо залучити реальних користувачів і варіанти використання до блокчейну, ми раді дізнатися про деякі реальні потреби в Африка.
Поїхавши туди, я побачу, що він дійсно інший, що робить мене більш впевненим у реальних варіантах використання *** країн, що розвиваються, і країн, що розвиваються. Тому що насправді, перш ніж піти в Африка, багато людей, в тому числі і ті, з ким я зараз спілкуюся, все ще задаються питанням, тобто чи є блокчейн реальним попитом. Це не просто шахрайство, це просто інструмент для всіх для випуску токенів. Я думаю, що люди, які можуть сказати таку заяву, насправді тому, що чи то в Китаї, чи в інших частинах Азії, чи на Заході, у Сполучених Штатах і Європі, всі розуміють блокчейн як гігантські кити, майнінг ліквідності. Справа не в тому, що їм дійсно потрібен блокчейн в житті, але вони просто відчувають, що на ньому є якісь інструменти, які можуть зробити його більш прибутковим, а іноді його власність може бути в більшій безпеці на ньому. Це не особливо потрібний інструмент.
Двома країнами, які ми відвідали, були Кенія та Нігерія, і було зрозуміло, що всім там дійсно потрібен блокчейн як платформа для повсякденного життя. Дуже очевидним прикладом є те, що немає можливості переказати гроші безпосередньо через банк, щоб здійснити переказ між двома сусідніми країнами в Африка, і для того, щоб дійти до рахунку, потрібно велике коло. Тому що їхня фінансова інфраструктура дуже погана, і вони абсолютно не в змозі побудувати глобальну систему підтримки.
Тому їм дійсно потрібен платіжний інструмент в першу чергу, а блокчейн дуже корисний саме як платіжний інструмент і дійсно може змінити їхнє життя. Тому що їм потрібен блокчейн-платіжний засіб, якщо вони їдуть в інші сусідні країни. Багато людей кажуть, що те, що може зробити блокчейн, просто глобальна платіжна система, звучить як дуже одноразове використання. Але глобальна платіжна система може вирішити потреби багатьох людей, особливо в країнах, де фінансова інфраструктура не настільки досконала. Але оскільки ви можете бути в Китаї, США, Європі, де дуже хороша інфраструктура, ви зазвичай не турбуєтеся про такі проблеми.
По-друге, інфляція у них дуже висока. Їхня валюта, можливо, була інфляційною на рівні 10% з того часу, як ми туди потрапили. Уявіть, що юань або долар США у вас в руках знеціниться на 10% через місяць, а фінансовий менеджмент може зрости лише на 3~4% на рік, і тоді ціни зростають. Це впливає на їхнє життя, і тоді стейблкоїни є для них способом отримати долари, їм потрібні долари, тому що інфляція долара низька, тому вони хочуть отримати долари, але вони не можуть отримати долари, тому що вони не можуть відкрити рахунок у банку США. Таким чином, вони фактично отримують USDT, купуючи доларові стейблкоїни, а потім зберігаючи деякі ончейн-активи, що є дуже важливим способом запобігання гіперінфляції. Можливо, кожен може тримати юань у Китаї, а USDT потрібен лише при купівлі криптовалют. Але вони потрібні в реальному житті, і вони часто здійснюють позабіржові транзакції та конвертують їх у власну валюту, коли фактично її використовують. Тому я думаю, що це великий сценарій застосування, і в цих країнах і в багатьох інших місцях вони дійсно мають таку потребу.
І третя річ, через недосконалість їхньої фінансової інфраструктури, призвела до того, що їхній кредитний рейтинг та ідентичність були дуже недосконалими під час запозичень. Тому вони позичають гроші, скажімо, 100 доларів, це може зайняти місяць, і їм потрібні різні погодження, тому що інформація не перетікає між різними фінансовими установами. Так що це призводить до того, що *** кредитування, як дуже великий бізнес банків або багатьох фінансових установ, дуже недосконале на своєму місці. Тому я думаю, що це також величезна можливість. ***
У Африка існує безліч реальних сценаріїв застосування, для яких потрібен блокчейн. Наприклад, якщо є хороша система ідентифікації для вирішення їх проблем, може надати їм якісь кредити або інші послуги в ланцюжку, я думаю, що це буде дуже цінною річчю. Це перший раз, коли я відчуваю, що ваші технології дійсно змінюють життя людей у багатьох куточках світу, і це дуже важливо.
Частина цінностей Scroll полягає в тому, що ми хочемо залучити наступний мільярд людей до Ethereum. Люди часто скаржаться, що BSC дуже недецентралізований, Ethereum дуже децентралізований, але ефір дорогий. Крім того, на BSC є багато реальних користувачів, які просто грають, тому що є Binance, а потім Африка те, що я побачив вперше, є багато людей, які дійсно використовують Binance для здійснення платежів, тому що вона дуже проста і легка у використанні. Ми сподіваємося повернути цю частину реальних користувачів до Ethereum, це частина нашої місії, ми хочемо повернути наступний мільярд користувачів до більш надійного Ethereum після зниження комісій через рівень 2. Тому що, якщо ви зберігаєте свої гроші на централізованій біржі, можуть виникнути деякі проблеми. Тому ми сподіваємося, що зможемо розмістити його на рівні 2, а потім успадкувати безпеку Ethereum, що є чудовою можливістю.