Шановні друзі, які підписалися на Anoma, цей прямий ефір Anoma Day містив досить змістовну інформацію, обговорюючи від технічної основи до практичного застосування, а також майбутні плани, ми все обговорили чітко. Я підсумував основну інформацію, щоб створити найбільш повне резюме ключового змісту в мережі, сподіваюся, це допоможе вам вирішити деякі запитання:
Одне. Ядро технологій: ефективне управління ресурсами та міжсистемна взаємодія
Ця частина головним чином вирішує питання "як безпечно обертати ресурси" та "як плавно спілкуватися між різними системами (наприклад, різними ланцюгами)". Все це базова технічна робота.
1. Дати ресурсам "ідентифікаційний номер" + знайти "управителя" (Контрольний тег та контролер V2) Просто кажучи, це означає, що кожному ресурсу (наприклад, цифровим активам, даним) надається «мітка» (Controller Tag), що є своєрідним записом ідентифікаційного документа — вона фіксує, звідки він походить, куди йде, чи не використовується повторно (наприклад, подвійне використання), чи правильний його стан.
Цей ярлик містить "ланцюг зв'язків" (структура DAG), що запам'ятовує "керуючих" (контролерів різних систем / ланцюгів), якщо ресурси змінюють управителя, ярлик буде оновлено, а також можна видалити непотрібну інформацію за допомогою "підтвердження" (attestation), зробивши ярлик легшим.
У керівника (контролера) є функція «Призупинити»: як тільки призупинено, стан більше не можна змінити, ресурси автоматично переключаться на резервного керівника, при цьому створюється купа незмінних записів, що робить їх безпечнішими.
Можна налаштувати "аварійний вимикач": дозволити певним установам лише затверджувати призупинення, не дозволяючи їм випадково змінювати інші стани, що підходить для системи "швидкої, але чутливої" з "надійними моніторами".
Крім того, можна перевірити, чи є історія ресурсів безперервною, чи не було їх повторного використання, але за умови, що можна отримати відповідні записи; якщо їх отримати неможливо, доведеться покладатися на довіру.
2. Зменшити велику кількість "доказів" (агрегація доказів) У торгівлі часто є купа доказів, пов'язаних з відповідністю та логікою (наприклад, "джерело цих грошей є законним"), ці докази великі та важко перевіряються, тому їх потрібно "агрегувати", щоб спростити.
Два способи:
1) Пакетна агрегація: одноразова перевірка всіх доказів, генерування одного загального доказу, економія простору, швидка перевірка, але потрібно дивитися, чи може спеціалізована віртуальна машина (ckvm) підтримувати це.
2) Порядкова агрегація: перевірка по одному, запам'ятовуючи попередні результати, підходить для ckvm, що не підтримує "продовження", але кількість перевірок і кількість доказів однакова, тож трохи повільніше.
В майбутньому планую спробувати більш гнучкі способи агрегування (наприклад, агрегування PCD), додати спеціалізовані прискорювачі, а також хочу, щоб агреговане доказ не розкривало ключову інформацію (наприклад, ключі логіки верифікації).
3. Anoma на таких блокчейнах, як Ethereum "інтерфейс" (адаптер протоколу EVM) Це реалізація "машини управління ресурсами" Anoma на Ethereum (EVM ланцюг), яка спеціалізується на створенні та споживанні ресурсів, обробляючи лише питання, пов'язані з розрахунками.
Використовується спеціальна система доказів (Risc0) та схема зобов'язань (Peterson), також можна налаштувати інші контракти на Ethereum для отримання даних.
Нещодавно оптимізували: розділили дані на 4 категорії (ресурси, відкриття, зовнішні, програми), обробка стала більш плавною; використали змінного розміру дерев'яний меркель, що підтримує вільні операції з ресурсами, а також економить газ (лічильник зборів на ланцюгу).
У управлінні версіями розглядається додавання "екстреної кнопки призупинення" та "комітету з оновлень", щоб швидко реагувати на вразливості і полегшити невеликі оновлення.
Два, інструменти для розробки: дати можливість розробникам менше бігати.
Команда створила безліч інструментів, щоб розробники могли легко та без зусиль створювати застосунки, не повторюючи вже зроблене.
1. Anoma SDK (інструментарій для розробників) Основні речі лише дві:
Написати "правила ресурсу" на Rust: наприклад, встановити, що "лічильник може лише збільшуватись на 1, зменшуватись не може".
Написати "бізнес-логіку" на Elixir: наприклад, "як створити лічильник" "як викликати операцію +1".
Інші дрібниці (наприклад, перетворення формату Anoma у формат, який розуміє Ethereum, подання транзакцій до Ethereum), SDK все включає, не треба самому турбуватися.
2. AVM (віртуальна машина, яка спрощує складне) Розробникам не потрібно безпосередньо стикатися з тими концепціями на нижньому рівні (наприклад, "логіка ресурсів", "вакуумні обробники"), вони можуть просто використовувати знайомі "класи, методи, функції". Наприклад, якщо ви хочете створити лічильник, визначте «клас лічильника», напишіть «як створити» та «як додати 1», AVM автоматично згенерує необхідні правила на нижньому рівні. Наразі версія 0.1 працює, у майбутньому версія 0.2 також підтримуватиме вкладені об'єкти, а також виконання кількох операцій в одній транзакції, що зробить це зручнішим.
3. Локальний регіон ( "Довірений помічник" Anoma даних) Як легка операційна система, яка управляє даними та додатками, пов'язаними з Anoma, не потрібно самостійно підтримувати складний стан консенсусу, просто отримуйте дані безпосередньо від "управлінця" (контролера) Anoma, як хочете, так і обчислюйте.
Є SCRI API: перевірка статусу, пошук застосунків так само просто, як перевірка шляху до файлів на комп'ютері.
Є фільтр подій: заздалегідь відсіяти нерелевантну інформацію, зменшити навантаження на обробку, може виконувати реєстрацію додатків, побудову угод, управління ключами, а також взаємодіяти з кількома "менеджерами", підходить для розподілених додатків.
Третє, екологія та застосування: від торгівлі до інтеграції між системами
Просто мати базові технології недостатньо, також потрібні конкретні корисні речі, команда також займається створенням екосистеми та розробкою застосунків.
1. Orda Network: робить обіг активів більш безтурботним Мета полягає в інтеграції стейблкоїнів, криптовалют і фіатних грошей, щоб розробники "підключили один раз - і використовувати скрізь"; користувачі не повинні дбати про те, яку мережу або актив вибрати, просто скажіть "Я хочу обміняти 100 одиниць чогось".
Співпраця на основі "намірів" і "ресурсу": користувач говорить "я хочу що" (наміри), організації з перевагами (ресурси, такі як відповідні, низькі тарифи) змагатимуться за виконання, пропонуючи найкращий шлях.
Хочу розбити традиційні "цінові сходи" (наприклад, різні тарифи для банків і роздрібних інвесторів), щоб всі могли отримати приблизно однакові хороші тарифи, одночасно збалансувавши частини "можна перевірити" та "потрібно довіряти" (що можна перевірити, а що лише слід зрозуміти за правилами).
2. Dex Anoma (Hypercow): більш чесна торгівля На основі алгоритму Speedx, основа полягає в пошуку "збалансованої ціни" — всі лімітні ордери в одному блоці виконуються за цією ціною, уникаючи арбітражу та випередження когось у межах блоку, що робить це більш справедливим для всіх.
Алгоритм знаходить точку балансу попиту і пропозиції, як "градусний потік"; за певних умов ця ціна є єдиною.
Ефективність також непогана: у тестах обробка замовлень на мільйон усього на звичайному комп'ютері займає лише кілька секунд, верифікація також може бути виконана. Більшість замовлень буде повністю виконано, лише деякі можуть бути частково виконані, щоб збалансувати попит і пропозицію.
Чотири, дорожня карта: крок за кроком створити "розподілену операційну систему" Anoma хоче створити "розподілену операційну систему" — абстрагувати купу комп'ютерів в одну "віртуальну машину", щоб користувачі та розробники не турбувалися про складні деталі нижнього рівня.
Розвивати в три етапи: 1. Galileo (зараз на етапі реалізації) На існуючому ланцюгу (наприклад, Ethereum) розгортаються "інтерфейси" (протокольні адаптери), розробники можуть писати додатки з захистом конфіденційності, а також послуги верифікації транзакцій та систему мета-управління (правила правил).
Наразі прогрес: токени та контракти управління метою вже пройшли аудит, адаптери протоколу майже готові.
2. Dagon（в процесі вдосконалення） З'єднайте всі розгортання, щоб утворити єдину систему, яка підтримує взаємодію між різними "управителями" (контролерами). "Управителі" Anoma також можуть надати докази виконання (аналогічно механізму безпеки plasma, більш надійно).
Наразі: ще триває відшліфовування контролерів та інших ключових компонентів.
3. Aura（майбутня мета） Реалізація повноцінного "світового комп'ютера", що підтримує пірингові мережі та консенсус, будь-який пристрій може надавати послуги з сортування, зберігання тощо, а також правила формування "керівників" стануть більш децентралізованими.
В цілому, команда поступово просувається від базових технологій до розробницьких інструментів, а потім до екосистемних застосувань. Головна мета полягає в тому, щоб зробити використання складних розподілених систем простішим і справедливішим, щоб взаємодія між різними системами була більш плавною — зрештою, технології врешті-решт повинні бути зручними для використання!
Гаразд, усі основні моменти зустрічі в основному тут, дякую всім за прочитання! Звісно, наш UPWARD також був представленим перед вами! #AnomaUpward # Anoma
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
1 лайків
Нагородити
1
1
Репост
Поділіться
Прокоментувати
0/400
TooUgly
· 09-07 09:04
Сидіть міцно, тримайтеся, скоро До місяця 🛫Сидіть міцно, тримайтеся, скоро До місяця 🛫Сидіть міцно, тримайтеся, скоро До місяця 🛫
Шановні друзі, які підписалися на Anoma, цей прямий ефір Anoma Day містив досить змістовну інформацію, обговорюючи від технічної основи до практичного застосування, а також майбутні плани, ми все обговорили чітко. Я підсумував основну інформацію, щоб створити найбільш повне резюме ключового змісту в мережі, сподіваюся, це допоможе вам вирішити деякі запитання:
Одне. Ядро технологій: ефективне управління ресурсами та міжсистемна взаємодія
Ця частина головним чином вирішує питання "як безпечно обертати ресурси" та "як плавно спілкуватися між різними системами (наприклад, різними ланцюгами)". Все це базова технічна робота.
1. Дати ресурсам "ідентифікаційний номер" + знайти "управителя" (Контрольний тег та контролер V2)
Просто кажучи, це означає, що кожному ресурсу (наприклад, цифровим активам, даним) надається «мітка» (Controller Tag), що є своєрідним записом ідентифікаційного документа — вона фіксує, звідки він походить, куди йде, чи не використовується повторно (наприклад, подвійне використання), чи правильний його стан.
Цей ярлик містить "ланцюг зв'язків" (структура DAG), що запам'ятовує "керуючих" (контролерів різних систем / ланцюгів), якщо ресурси змінюють управителя, ярлик буде оновлено, а також можна видалити непотрібну інформацію за допомогою "підтвердження" (attestation), зробивши ярлик легшим.
У керівника (контролера) є функція «Призупинити»: як тільки призупинено, стан більше не можна змінити, ресурси автоматично переключаться на резервного керівника, при цьому створюється купа незмінних записів, що робить їх безпечнішими.
Можна налаштувати "аварійний вимикач": дозволити певним установам лише затверджувати призупинення, не дозволяючи їм випадково змінювати інші стани, що підходить для системи "швидкої, але чутливої" з "надійними моніторами".
Крім того, можна перевірити, чи є історія ресурсів безперервною, чи не було їх повторного використання, але за умови, що можна отримати відповідні записи; якщо їх отримати неможливо, доведеться покладатися на довіру.
2. Зменшити велику кількість "доказів" (агрегація доказів)
У торгівлі часто є купа доказів, пов'язаних з відповідністю та логікою (наприклад, "джерело цих грошей є законним"), ці докази великі та важко перевіряються, тому їх потрібно "агрегувати", щоб спростити.
Два способи:
1) Пакетна агрегація: одноразова перевірка всіх доказів, генерування одного загального доказу, економія простору, швидка перевірка, але потрібно дивитися, чи може спеціалізована віртуальна машина (ckvm) підтримувати це.
2) Порядкова агрегація: перевірка по одному, запам'ятовуючи попередні результати, підходить для ckvm, що не підтримує "продовження", але кількість перевірок і кількість доказів однакова, тож трохи повільніше.
В майбутньому планую спробувати більш гнучкі способи агрегування (наприклад, агрегування PCD), додати спеціалізовані прискорювачі, а також хочу, щоб агреговане доказ не розкривало ключову інформацію (наприклад, ключі логіки верифікації).
3. Anoma на таких блокчейнах, як Ethereum "інтерфейс" (адаптер протоколу EVM)
Це реалізація "машини управління ресурсами" Anoma на Ethereum (EVM ланцюг), яка спеціалізується на створенні та споживанні ресурсів, обробляючи лише питання, пов'язані з розрахунками.
Використовується спеціальна система доказів (Risc0) та схема зобов'язань (Peterson), також можна налаштувати інші контракти на Ethereum для отримання даних.
Нещодавно оптимізували: розділили дані на 4 категорії (ресурси, відкриття, зовнішні, програми), обробка стала більш плавною; використали змінного розміру дерев'яний меркель, що підтримує вільні операції з ресурсами, а також економить газ (лічильник зборів на ланцюгу).
У управлінні версіями розглядається додавання "екстреної кнопки призупинення" та "комітету з оновлень", щоб швидко реагувати на вразливості і полегшити невеликі оновлення.
Два, інструменти для розробки: дати можливість розробникам менше бігати.
Команда створила безліч інструментів, щоб розробники могли легко та без зусиль створювати застосунки, не повторюючи вже зроблене.
1. Anoma SDK (інструментарій для розробників)
Основні речі лише дві:
Написати "правила ресурсу" на Rust: наприклад, встановити, що "лічильник може лише збільшуватись на 1, зменшуватись не може".
Написати "бізнес-логіку" на Elixir: наприклад, "як створити лічильник" "як викликати операцію +1".
Інші дрібниці (наприклад, перетворення формату Anoma у формат, який розуміє Ethereum, подання транзакцій до Ethereum), SDK все включає, не треба самому турбуватися.
2. AVM (віртуальна машина, яка спрощує складне)
Розробникам не потрібно безпосередньо стикатися з тими концепціями на нижньому рівні (наприклад, "логіка ресурсів", "вакуумні обробники"), вони можуть просто використовувати знайомі "класи, методи, функції".
Наприклад, якщо ви хочете створити лічильник, визначте «клас лічильника», напишіть «як створити» та «як додати 1», AVM автоматично згенерує необхідні правила на нижньому рівні. Наразі версія 0.1 працює, у майбутньому версія 0.2 також підтримуватиме вкладені об'єкти, а також виконання кількох операцій в одній транзакції, що зробить це зручнішим.
3. Локальний регіон ( "Довірений помічник" Anoma даних)
Як легка операційна система, яка управляє даними та додатками, пов'язаними з Anoma, не потрібно самостійно підтримувати складний стан консенсусу, просто отримуйте дані безпосередньо від "управлінця" (контролера) Anoma, як хочете, так і обчислюйте.
Є SCRI API: перевірка статусу, пошук застосунків так само просто, як перевірка шляху до файлів на комп'ютері.
Є фільтр подій: заздалегідь відсіяти нерелевантну інформацію, зменшити навантаження на обробку,
може виконувати реєстрацію додатків, побудову угод, управління ключами, а також взаємодіяти з кількома "менеджерами", підходить для розподілених додатків.
Третє, екологія та застосування: від торгівлі до інтеграції між системами
Просто мати базові технології недостатньо, також потрібні конкретні корисні речі, команда також займається створенням екосистеми та розробкою застосунків.
1. Orda Network: робить обіг активів більш безтурботним
Мета полягає в інтеграції стейблкоїнів, криптовалют і фіатних грошей, щоб розробники "підключили один раз - і використовувати скрізь"; користувачі не повинні дбати про те, яку мережу або актив вибрати, просто скажіть "Я хочу обміняти 100 одиниць чогось".
Співпраця на основі "намірів" і "ресурсу": користувач говорить "я хочу що" (наміри), організації з перевагами (ресурси, такі як відповідні, низькі тарифи) змагатимуться за виконання, пропонуючи найкращий шлях.
Хочу розбити традиційні "цінові сходи" (наприклад, різні тарифи для банків і роздрібних інвесторів), щоб всі могли отримати приблизно однакові хороші тарифи, одночасно збалансувавши частини "можна перевірити" та "потрібно довіряти" (що можна перевірити, а що лише слід зрозуміти за правилами).
2. Dex Anoma (Hypercow): більш чесна торгівля
На основі алгоритму Speedx, основа полягає в пошуку "збалансованої ціни" — всі лімітні ордери в одному блоці виконуються за цією ціною, уникаючи арбітражу та випередження когось у межах блоку, що робить це більш справедливим для всіх.
Алгоритм знаходить точку балансу попиту і пропозиції, як "градусний потік"; за певних умов ця ціна є єдиною.
Ефективність також непогана: у тестах обробка замовлень на мільйон усього на звичайному комп'ютері займає лише кілька секунд, верифікація також може бути виконана. Більшість замовлень буде повністю виконано, лише деякі можуть бути частково виконані, щоб збалансувати попит і пропозицію.
Чотири, дорожня карта: крок за кроком створити "розподілену операційну систему"
Anoma хоче створити "розподілену операційну систему" — абстрагувати купу комп'ютерів в одну "віртуальну машину", щоб користувачі та розробники не турбувалися про складні деталі нижнього рівня.
Розвивати в три етапи:
1. Galileo (зараз на етапі реалізації)
На існуючому ланцюгу (наприклад, Ethereum) розгортаються "інтерфейси" (протокольні адаптери), розробники можуть писати додатки з захистом конфіденційності, а також послуги верифікації транзакцій та систему мета-управління (правила правил).
Наразі прогрес: токени та контракти управління метою вже пройшли аудит, адаптери протоколу майже готові.
2. Dagon（в процесі вдосконалення）
З'єднайте всі розгортання, щоб утворити єдину систему, яка підтримує взаємодію між різними "управителями" (контролерами). "Управителі" Anoma також можуть надати докази виконання (аналогічно механізму безпеки plasma, більш надійно).
Наразі: ще триває відшліфовування контролерів та інших ключових компонентів.
3. Aura（майбутня мета）
Реалізація повноцінного "світового комп'ютера", що підтримує пірингові мережі та консенсус, будь-який пристрій може надавати послуги з сортування, зберігання тощо, а також правила формування "керівників" стануть більш децентралізованими.
В цілому, команда поступово просувається від базових технологій до розробницьких інструментів, а потім до екосистемних застосувань. Головна мета полягає в тому, щоб зробити використання складних розподілених систем простішим і справедливішим, щоб взаємодія між різними системами була більш плавною — зрештою, технології врешті-решт повинні бути зручними для використання!
Гаразд, усі основні моменти зустрічі в основному тут, дякую всім за прочитання! Звісно, наш UPWARD також був представленим перед вами! #AnomaUpward # Anoma