Aleo: Блокчейн-проект, що веде революцію приватності Web3
Aleo є блокчейн-проектом, що прагне захисту приватності, його основна технологія базується на доказах з нульовим знанням (ZKP), що має на меті досягнення вищого рівня приватності та масштабованості. Основна ідея проєкту полягає в тому, щоб дозволити користувачам здійснювати автентифікацію та обробку даних без розкриття особистої інформації.
Огляд проекту
Приватність
Основна технологія Aleo - це нульове знання, що дозволяє виконувати транзакції та смарт-контракти з дотриманням конфіденційності. Деталі транзакцій користувача, такі як відправник і сума транзакції, за замовчуванням приховані. Цей дизайн не лише захищає конфіденційність користувача, але й дозволяє за необхідності здійснювати вибіркове розкриття, що дуже підходить для розвитку децентралізованих фінансових додатків.
Основні компоненти Aleo включають:
Leo мова програмування: адаптована на основі мови Rust, спеціально призначена для розробки застосунків нульового знання, знизила вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза ланцюгом, а в ланцюзі лише перевіряє результати обчислень, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень і дозволяє виконувати функції без дозволу.
zkCloud: надає безпечне, приватне середовище для обчислень поза блокчейном, підтримує програмну взаємодію між користувачами, організаціями та децентралізованими автономними організаціями.
Aleo також надає інтегроване середовище розробки та набір інструментів для програмування, що підтримують розробників у швидкому написанні та випуску додатків. Крім того, розробники можуть розгортати додатки в реєстрі програм Aleo без необхідності покладатися на третіх осіб, що знижує ризики платформи.
Масштабованість
Aleo використовує позашляхову обробку, де транзакції спочатку обчислюються на пристрої користувача, а потім лише результати верифікації завантажуються в Блокчейн. Такий підхід значно підвищує швидкість обробки транзакцій і масштабованість системи, уникаючи проблем з переповненням мережі та високими витратами.
Механізм консенсусу
Aleo впровадив AleoBFT, це змішана архітектура механізму консенсусу, яка поєднує миттєву фінальність валідаторів і обчислювальну потужність довірителів. AleoBFT не тільки підвищує рівень децентралізації мережі, але й посилює продуктивність та безпеку.
Швидка остаточність блоку: AleoBFT забезпечує негайне підтвердження кожного блоку після його створення, підвищуючи стабільність вузлів та досвід користувачів.
Децентралізоване забезпечення: шляхом розділення виробництва блоків та генерації токенів, валідатори відповідають за генерацію блоків, а доказники виконують обчислення доказів, запобігаючи монополії небагатьох сутностей на мережу.
Механізм стимулювання: валідатори та доказники ділять блокові винагороди; заохочення доказників ставити токени, щоб стати валідаторами, підвищуючи таким чином ступінь децентралізації та обчислювальну потужність мережі.
Aleo дозволяє розробникам створювати додатки без обмежень ресурсів, тому особливо підходить для таких застосувань, як машинне навчання, які потребують тривалого виконання.
Останні новини
Aleo запустить тестову мережу з винагородами 1 липня, нижче наведена деяка важлива остання інформація:
ARC-100 голосування пройшло: пропозиція, що стосується питань відповідності, блокування коштів у мережі Aleo та безпечних заходів, таких як затримка зарахування, була схвалена. Команда проводить останні налаштування.
Програма заохочення валідаторів: ця програма стартує 1 липня і має на меті перевірку нового механізму puzzle. Програма триватиме до 15 липня, під час якої буде розподілено 1 000 000 Aleo балів у якості винагороди.
Початкове постачання та обіг постачання: Початкова кількість становить 1,5 мільярда токенів, початковий обіг становить приблизно 10%. Ці токени в основному походять від винагород за завдання (75 мільйонів), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкінг, роботу валідаторів та валідаційних вузлів.
Скидання тестової мережі: Це останнє скидання мережі, після чого нові функції не будуть додаватися, мережа буде подібна до основної мережі. Скидання необхідне для додавання нових функцій та оновлення механізму puzzle.
Замороження коду: Замороження коду було завершено тиждень тому.
План розширення валідаційних вузлів: початкова кількість валідаційних вузлів становить 15, мета - збільшити їх до 50 протягом року, а в підсумку до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати валідаційним вузлом - 10 000 000 токенів, ці суми поступово зменшуватимуться з часом.
Аналіз алгоритму Synthesis Puzzle
Остання версія алгоритму Aleo називається Synthesis Puzzle. Її суть полягає в тому, що для кожного епохи фіксовано генерується спільна EpochProgram, шляхом побудови R1CS доказового електричного кола для входу та EpochProgram, генерується відповідне R1CS призначення (тобто свідок) і використовується як листовий вузол Меркле-дерева. Після обчислення всіх листових вузлів генерується корінь Меркле і перетворюється на proof_target рішення.
Докладний процес побудови Synthesis Puzzle такий:
Кожен раз, коли puzzle обчислюється, він називається nonce і формується з адреси, яка отримує винагороду за видобуток, epoch_hash та випадкове число counter.
У кожному epoch всі prover розраховують однакову EpochProgram, яка генерується випадковим числом, отриманим з epoch_hash, вибраним з інструкційного набору.
Використовуйте nonce як насіння випадкових чисел для генерації вхідних даних EpochProgram.
Агрегуйте R1CS та вхідні дані, що відповідають EpochProgram, для виконання обчислення свідків.
Перетворіть усі свідки на послідовність листових вузлів дерева Меркла.
Обчисліть Merkle root і перетворіть його на proof_target рішення, визначте, чи відповідає він вимогам поточної епохи.
В одному й тому ж epoch можна кілька разів виконувати обчислення рішення, оновлюючи вхідні дані EpochProgram шляхом ітерації лічильника.
Вплив оновлення алгоритму
Після цього оновлення puzzle перейшов від генерації proof до генерації witness, логіка обчислення всіх рішень у кожному epoch залишається однаковою, але логіка обчислення в різних epoch має суттєві відмінності. Новий алгоритм відмовився від MSM і NTT обчислень, що було у попередніх версіях, що може вплинути на існуючі стратегії оптимізації GPU. Водночас, оскільки процес генерації witness включає виконання програми, яка змінюється з epoch, інструкції в ній можуть мати часткові залежності при послідовному виконанні, тому реалізація паралелізації може стикнутися з великими викликами.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
11 лайків
Нагородити
11
14
Репост
Поділіться
Прокоментувати
0/400
GateUser-fea06f41
· 2год тому
Знання про м'яч не допоможуть.
Переглянути оригіналвідповісти на0
010Strategy
· 2год тому
Ваші відповіді змусили мене дуже переживати! Скажіть, у вас є Спот Aleo?
Aleo запускає тестову мережу приватного блокчейну, ведучи революцію нульових знань у Web3
Aleo: Блокчейн-проект, що веде революцію приватності Web3
Aleo є блокчейн-проектом, що прагне захисту приватності, його основна технологія базується на доказах з нульовим знанням (ZKP), що має на меті досягнення вищого рівня приватності та масштабованості. Основна ідея проєкту полягає в тому, щоб дозволити користувачам здійснювати автентифікацію та обробку даних без розкриття особистої інформації.
Огляд проекту
Приватність
Основна технологія Aleo - це нульове знання, що дозволяє виконувати транзакції та смарт-контракти з дотриманням конфіденційності. Деталі транзакцій користувача, такі як відправник і сума транзакції, за замовчуванням приховані. Цей дизайн не лише захищає конфіденційність користувача, але й дозволяє за необхідності здійснювати вибіркове розкриття, що дуже підходить для розвитку децентралізованих фінансових додатків.
Основні компоненти Aleo включають:
Leo мова програмування: адаптована на основі мови Rust, спеціально призначена для розробки застосунків нульового знання, знизила вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза ланцюгом, а в ланцюзі лише перевіряє результати обчислень, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень і дозволяє виконувати функції без дозволу.
zkCloud: надає безпечне, приватне середовище для обчислень поза блокчейном, підтримує програмну взаємодію між користувачами, організаціями та децентралізованими автономними організаціями.
Aleo також надає інтегроване середовище розробки та набір інструментів для програмування, що підтримують розробників у швидкому написанні та випуску додатків. Крім того, розробники можуть розгортати додатки в реєстрі програм Aleo без необхідності покладатися на третіх осіб, що знижує ризики платформи.
Масштабованість
Aleo використовує позашляхову обробку, де транзакції спочатку обчислюються на пристрої користувача, а потім лише результати верифікації завантажуються в Блокчейн. Такий підхід значно підвищує швидкість обробки транзакцій і масштабованість системи, уникаючи проблем з переповненням мережі та високими витратами.
Механізм консенсусу
Aleo впровадив AleoBFT, це змішана архітектура механізму консенсусу, яка поєднує миттєву фінальність валідаторів і обчислювальну потужність довірителів. AleoBFT не тільки підвищує рівень децентралізації мережі, але й посилює продуктивність та безпеку.
Швидка остаточність блоку: AleoBFT забезпечує негайне підтвердження кожного блоку після його створення, підвищуючи стабільність вузлів та досвід користувачів.
Децентралізоване забезпечення: шляхом розділення виробництва блоків та генерації токенів, валідатори відповідають за генерацію блоків, а доказники виконують обчислення доказів, запобігаючи монополії небагатьох сутностей на мережу.
Механізм стимулювання: валідатори та доказники ділять блокові винагороди; заохочення доказників ставити токени, щоб стати валідаторами, підвищуючи таким чином ступінь децентралізації та обчислювальну потужність мережі.
Aleo дозволяє розробникам створювати додатки без обмежень ресурсів, тому особливо підходить для таких застосувань, як машинне навчання, які потребують тривалого виконання.
Останні новини
Aleo запустить тестову мережу з винагородами 1 липня, нижче наведена деяка важлива остання інформація:
ARC-100 голосування пройшло: пропозиція, що стосується питань відповідності, блокування коштів у мережі Aleo та безпечних заходів, таких як затримка зарахування, була схвалена. Команда проводить останні налаштування.
Програма заохочення валідаторів: ця програма стартує 1 липня і має на меті перевірку нового механізму puzzle. Програма триватиме до 15 липня, під час якої буде розподілено 1 000 000 Aleo балів у якості винагороди.
Початкове постачання та обіг постачання: Початкова кількість становить 1,5 мільярда токенів, початковий обіг становить приблизно 10%. Ці токени в основному походять від винагород за завдання (75 мільйонів), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкінг, роботу валідаторів та валідаційних вузлів.
Скидання тестової мережі: Це останнє скидання мережі, після чого нові функції не будуть додаватися, мережа буде подібна до основної мережі. Скидання необхідне для додавання нових функцій та оновлення механізму puzzle.
Замороження коду: Замороження коду було завершено тиждень тому.
План розширення валідаційних вузлів: початкова кількість валідаційних вузлів становить 15, мета - збільшити їх до 50 протягом року, а в підсумку до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати валідаційним вузлом - 10 000 000 токенів, ці суми поступово зменшуватимуться з часом.
Аналіз алгоритму Synthesis Puzzle
Остання версія алгоритму Aleo називається Synthesis Puzzle. Її суть полягає в тому, що для кожного епохи фіксовано генерується спільна EpochProgram, шляхом побудови R1CS доказового електричного кола для входу та EpochProgram, генерується відповідне R1CS призначення (тобто свідок) і використовується як листовий вузол Меркле-дерева. Після обчислення всіх листових вузлів генерується корінь Меркле і перетворюється на proof_target рішення.
Докладний процес побудови Synthesis Puzzle такий:
Кожен раз, коли puzzle обчислюється, він називається nonce і формується з адреси, яка отримує винагороду за видобуток, epoch_hash та випадкове число counter.
У кожному epoch всі prover розраховують однакову EpochProgram, яка генерується випадковим числом, отриманим з epoch_hash, вибраним з інструкційного набору.
Використовуйте nonce як насіння випадкових чисел для генерації вхідних даних EpochProgram.
Агрегуйте R1CS та вхідні дані, що відповідають EpochProgram, для виконання обчислення свідків.
Перетворіть усі свідки на послідовність листових вузлів дерева Меркла.
Обчисліть Merkle root і перетворіть його на proof_target рішення, визначте, чи відповідає він вимогам поточної епохи.
В одному й тому ж epoch можна кілька разів виконувати обчислення рішення, оновлюючи вхідні дані EpochProgram шляхом ітерації лічильника.
Вплив оновлення алгоритму
Після цього оновлення puzzle перейшов від генерації proof до генерації witness, логіка обчислення всіх рішень у кожному epoch залишається однаковою, але логіка обчислення в різних epoch має суттєві відмінності. Новий алгоритм відмовився від MSM і NTT обчислень, що було у попередніх версіях, що може вплинути на існуючі стратегії оптимізації GPU. Водночас, оскільки процес генерації witness включає виконання програми, яка змінюється з epoch, інструкції в ній можуть мати часткові залежності при послідовному виконанні, тому реалізація паралелізації може стикнутися з великими викликами.