Aleo: Піонер Блокчейн у захисті приватності та масштабованості
Aleo є інноваційним проєктом, що прагне покращити захист приватності та масштабованість Блокчейн. Завдяки використанню технології нульових знань, Aleo дозволяє користувачам проходити ідентифікацію та обробку даних, захищаючи при цьому особисту інформацію.
Огляд проекту
Захист конфіденційності
Основною технологією Aleo є нульове свідчення (ZKPs), яке забезпечує захист конфіденційності користувачів під час виконання транзакцій і смарт-контрактів. За замовчуванням деталі транзакцій, такі як відправник і сума, приховані. Цей дизайн не лише захищає конфіденційність користувачів, але й підтримує вибіркове розкриття за потреби, що дуже підходить для розвитку DeFi-додатків.
Основні компоненти Aleo включають:
Мова програмування Leo: адаптована на базі Rust, спеціально призначена для розробки нульових знань (ZKApps), знижуючи вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM підтримує виконання оффчейн обчислень, на ланцюзі лише перевіряє результати, що підвищує ефективність. snarkOS гарантує безпеку даних та обчислень, підтримує виконання без дозволу.
zkCloud: надає безпечне, приватне середовище для обчислень поза блокчейном, підтримує програмну взаємодію між усіма сторонами.
Aleo також пропонує інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що полегшує розробникам швидке написання та публікацію додатків. Розробники можуть безпосередньо розгортати додатки в реєстрі програм Aleo, не покладаючись на третіх осіб, що знижує ризики платформи.
Масштабованість
Aleo використовує офлайн-обробку, де транзакції спочатку обчислюються на пристрої користувача, а потім лише результати перевірки завантажуються на Блокчейн. Цей підхід значно підвищує швидкість обробки транзакцій та масштабованість системи, уникаючи проблем з перевантаженням мережі та високими витратами.
механізм консенсусу
Aleo впровадила AleoBFT, це гібридна архітектура механізму консенсусу, яка поєднує миттєву остаточність валідаторів та обчислювальні можливості доказувачів. AleoBFT не тільки підвищує рівень децентралізації мережі, але й посилює продуктивність і безпеку.
Блок швидкої остаточності: AleoBFT забезпечує миттєве підтвердження кожного згенерованого блоку, підвищуючи стабільність вузлів та досвід користувачів.
Децентралізоване забезпечення: шляхом розділення виробництва блоків і генерації coinbase, валідатори відповідають за створення блоків, а доказувачі виконують обчислення доказів, що запобігає монополії невеликої кількості суб'єктів над мережею.
Механізм стимулювання: валідатори та доказувачі ділять блокові винагороди; заохочує доказувачів стати валідаторами шляхом застави токенів, підвищуючи рівень децентралізації мережі та обчислювальну потужність.
Aleo дозволяє розробникам створювати програми без обмежень gas, тому особливо підходить для застосунків, які потребують тривалої роботи, таких як машинне навчання тощо.
Останні новини
Aleo розпочне тестову мережу з винагородами 1 липня, нижче наведено деякі важливі оновлення:
Пропозиція ARC-100 прийнята: пропозиція, що стосується відповідності, блокування фондів та затримки виплат, була прийнята, команда проводить остаточні налаштування.
План стимулювання валідаторів: з 1 по 15 липня буде працювати, буде розподілено 1 мільйон Aleo балів як винагороду. Розподіл винагороди базується на відсотку балів, отриманих вузлом, кожен валідатор повинен заробити щонайменше 100 токенів, щоб отримати винагороду.
Постачання токенів: Початковий обсяг становить 1,5 мільярда токенів, початковий обсяг обігу приблизно 10%. Ці токени в основному походять з завдання Coinbase (7500000), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкінг, роботу валідаторів та валідаційних вузлів.
Оновлення тестової мережі: Testnet Beta буде остаточно скинуто, буде додано ARC-41 та нову функцію puzzle. Після скидання мережа стане схожою на основну мережу, нові функції більше не додаватимуться.
Замороження коду: завершено тиждень тому.
Розширення вузлів перевірки: початкова кількість вузлів перевірки становить 15, мета - збільшити їх до 50 протягом року, а в кінцевому підсумку до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати вузлом перевірки - 10 000 000 токенів, ці суми з часом поступово зменшаться.
Аналіз алгоритму Synthesis Puzzle
Остання версія алгоритму puzzle від Aleo називається Synthesis Puzzle, її основа полягає в генерації фіксованого EpochProgram для кожного епохи. Створюючи R1CS доказові кола для вхідних даних та EpochProgram, генерується відповідне R1CS призначення (, тобто свідчення ), яке використовується як листове вузло дерева Меркла. Після обчислення всіх листових вузлів генерується корінь Меркла і перетворюється на proof_target рішення.
Детальний процес Synthesis Puzzle наступний:
Кожне обчислення пазлу називається nonce, складається з адреси, що отримує винагороду за видобуток, epoch_hash та випадкового числа counter.
У кожному епосі всі провайдери обчислюють однакову EpochProgram, випадкове число, згенероване з поточного epoch_hash, вибирається з набору інструкцій.
Використовуйте nonce як насіннєве число для генерації вхідних даних EpochProgram.
Агегувати R1CS та input, що відповідають EpochProgram, для обчислення свідчення.
Обчисліть усіх свідків, після чого перетворіть їх на послідовність листових вузлів Меркле-дерева.
Обчисліть корінь Меркла та перетворіть його в proof_target рішення, щоб перевірити, чи відповідає він останньому proof_target поточного епохи.
Якщо умови виконані, то надішліть адресу винагороди, epoch_hash та counter, необхідні для побудови вхідних даних, як рішення і транслюйте.
В одному epoch можна оновити вхідні дані EpochProgram за допомогою ітераційного counter для виконання кількох обчислень рішення.
Це оновлення змінює puzzle з генерації proof на генерацію witness, логіка обчислення solution в кожному epoch залишається однаковою, але між різними epoch логіка обчислення має великі відмінності. Новий алгоритм відмовляється від попередніх обчислень MSM та NTT, що приносить нові виклики для оптимізації GPU. Оскільки процес генерації witness включає виконання program, що змінюється з кожним epoch, деякі інструкції мають часткові залежності для послідовного виконання, що створює великі труднощі для реалізації паралелізму.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
13 лайків
Нагородити
13
7
Поділіться
Прокоментувати
0/400
BankruptcyArtist
· 10год тому
Ну, нарешті настав черга проектів з приватного дизайну!
Aleo запускає стимулюючу Тестову мережу. Приватний масштабований Блокчейн відкриває нову главу.
Aleo: Піонер Блокчейн у захисті приватності та масштабованості
Aleo є інноваційним проєктом, що прагне покращити захист приватності та масштабованість Блокчейн. Завдяки використанню технології нульових знань, Aleo дозволяє користувачам проходити ідентифікацію та обробку даних, захищаючи при цьому особисту інформацію.
Огляд проекту
Захист конфіденційності
Основною технологією Aleo є нульове свідчення (ZKPs), яке забезпечує захист конфіденційності користувачів під час виконання транзакцій і смарт-контрактів. За замовчуванням деталі транзакцій, такі як відправник і сума, приховані. Цей дизайн не лише захищає конфіденційність користувачів, але й підтримує вибіркове розкриття за потреби, що дуже підходить для розвитку DeFi-додатків.
Основні компоненти Aleo включають:
Мова програмування Leo: адаптована на базі Rust, спеціально призначена для розробки нульових знань (ZKApps), знижуючи вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM підтримує виконання оффчейн обчислень, на ланцюзі лише перевіряє результати, що підвищує ефективність. snarkOS гарантує безпеку даних та обчислень, підтримує виконання без дозволу.
zkCloud: надає безпечне, приватне середовище для обчислень поза блокчейном, підтримує програмну взаємодію між усіма сторонами.
Aleo також пропонує інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що полегшує розробникам швидке написання та публікацію додатків. Розробники можуть безпосередньо розгортати додатки в реєстрі програм Aleo, не покладаючись на третіх осіб, що знижує ризики платформи.
Масштабованість
Aleo використовує офлайн-обробку, де транзакції спочатку обчислюються на пристрої користувача, а потім лише результати перевірки завантажуються на Блокчейн. Цей підхід значно підвищує швидкість обробки транзакцій та масштабованість системи, уникаючи проблем з перевантаженням мережі та високими витратами.
механізм консенсусу
Aleo впровадила AleoBFT, це гібридна архітектура механізму консенсусу, яка поєднує миттєву остаточність валідаторів та обчислювальні можливості доказувачів. AleoBFT не тільки підвищує рівень децентралізації мережі, але й посилює продуктивність і безпеку.
Блок швидкої остаточності: AleoBFT забезпечує миттєве підтвердження кожного згенерованого блоку, підвищуючи стабільність вузлів та досвід користувачів.
Децентралізоване забезпечення: шляхом розділення виробництва блоків і генерації coinbase, валідатори відповідають за створення блоків, а доказувачі виконують обчислення доказів, що запобігає монополії невеликої кількості суб'єктів над мережею.
Механізм стимулювання: валідатори та доказувачі ділять блокові винагороди; заохочує доказувачів стати валідаторами шляхом застави токенів, підвищуючи рівень децентралізації мережі та обчислювальну потужність.
Aleo дозволяє розробникам створювати програми без обмежень gas, тому особливо підходить для застосунків, які потребують тривалої роботи, таких як машинне навчання тощо.
Останні новини
Aleo розпочне тестову мережу з винагородами 1 липня, нижче наведено деякі важливі оновлення:
Пропозиція ARC-100 прийнята: пропозиція, що стосується відповідності, блокування фондів та затримки виплат, була прийнята, команда проводить остаточні налаштування.
План стимулювання валідаторів: з 1 по 15 липня буде працювати, буде розподілено 1 мільйон Aleo балів як винагороду. Розподіл винагороди базується на відсотку балів, отриманих вузлом, кожен валідатор повинен заробити щонайменше 100 токенів, щоб отримати винагороду.
Постачання токенів: Початковий обсяг становить 1,5 мільярда токенів, початковий обсяг обігу приблизно 10%. Ці токени в основному походять з завдання Coinbase (7500000), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкінг, роботу валідаторів та валідаційних вузлів.
Оновлення тестової мережі: Testnet Beta буде остаточно скинуто, буде додано ARC-41 та нову функцію puzzle. Після скидання мережа стане схожою на основну мережу, нові функції більше не додаватимуться.
Замороження коду: завершено тиждень тому.
Розширення вузлів перевірки: початкова кількість вузлів перевірки становить 15, мета - збільшити їх до 50 протягом року, а в кінцевому підсумку до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати вузлом перевірки - 10 000 000 токенів, ці суми з часом поступово зменшаться.
Аналіз алгоритму Synthesis Puzzle
Остання версія алгоритму puzzle від Aleo називається Synthesis Puzzle, її основа полягає в генерації фіксованого EpochProgram для кожного епохи. Створюючи R1CS доказові кола для вхідних даних та EpochProgram, генерується відповідне R1CS призначення (, тобто свідчення ), яке використовується як листове вузло дерева Меркла. Після обчислення всіх листових вузлів генерується корінь Меркла і перетворюється на proof_target рішення.
Детальний процес Synthesis Puzzle наступний:
Кожне обчислення пазлу називається nonce, складається з адреси, що отримує винагороду за видобуток, epoch_hash та випадкового числа counter.
У кожному епосі всі провайдери обчислюють однакову EpochProgram, випадкове число, згенероване з поточного epoch_hash, вибирається з набору інструкцій.
Використовуйте nonce як насіннєве число для генерації вхідних даних EpochProgram.
Агегувати R1CS та input, що відповідають EpochProgram, для обчислення свідчення.
Обчисліть усіх свідків, після чого перетворіть їх на послідовність листових вузлів Меркле-дерева.
Обчисліть корінь Меркла та перетворіть його в proof_target рішення, щоб перевірити, чи відповідає він останньому proof_target поточного епохи.
Якщо умови виконані, то надішліть адресу винагороди, epoch_hash та counter, необхідні для побудови вхідних даних, як рішення і транслюйте.
В одному epoch можна оновити вхідні дані EpochProgram за допомогою ітераційного counter для виконання кількох обчислень рішення.
Це оновлення змінює puzzle з генерації proof на генерацію witness, логіка обчислення solution в кожному epoch залишається однаковою, але між різними epoch логіка обчислення має великі відмінності. Новий алгоритм відмовляється від попередніх обчислень MSM та NTT, що приносить нові виклики для оптимізації GPU. Оскільки процес генерації witness включає виконання program, що змінюється з кожним epoch, деякі інструкції мають часткові залежності для послідовного виконання, що створює великі труднощі для реалізації паралелізму.