Aleo: Блокчейн проект, що веде революцію приватності в Web3
Aleo є проектом Блокчейн, який спрямований на захист приватності, реалізуючи вищий рівень приватності та масштабованості через технологію нульових знань (ZKP). Основна концепція проекту полягає в тому, щоб дозволити користувачам здійснювати перевірку особистості та обробку даних без розкриття особистих даних.
Огляд проєкту
Приватність
Основою Aleo є технологія доказів нульового знання (ZKPs), що дозволяє виконувати транзакції та смарт-контракти за умови збереження приватності. Деталі транзакцій користувачів, такі як відправник та сума транзакції, за замовчуванням приховані. Цей дизайн не лише захищає приватність користувачів, але й дозволяє у разі необхідності проводити вибіркове розкриття, що робить його ідеальним для розвитку DeFi-додатків. Основні компоненти включають:
Leo мова програмування: адаптована на основі Rust, спеціально розроблена для створення застосунків нульового знання (ZKApps), знижує вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконання обчислень поза ланцюгом, а на ланцюзі лише перевіряється результат обчислень, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень і дозволяє виконання функцій без ліцензії.
zkCloud: надає безпечне, приватне середовище для обчислень поза ланцюгом, підтримує програмну взаємодію між користувачами, організаціями та DAO.
Aleo також пропонує інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що підтримує розробників у швидкому написанні та публікації додатків. Крім того, розробники можуть розгортати додатки в реєстрі програм Aleo, не покладаючись на третіх осіб, що знижує ризик платформи.
Масштабованість
Aleo використовує обробку off-chain, де транзакції спочатку обчислюють докази на пристрої користувача, а потім лише результати верифікації завантажуються на Блокчейн. Цей підхід значно підвищує швидкість обробки транзакцій і масштабованість системи, уникаючи проблем з перевантаженням мережі та високими витратами.
механізм консенсусу
Aleo впровадив AleoBFT, це механізм консенсусу з гібридною архітектурою, який поєднує миттєву фінальність валідаторів та обчислювальні можливості доказувачів. AleoBFT не лише підвищує рівень децентралізації мережі, але й покращує продуктивність та безпеку.
Швидка остаточність блоку: AleoBFT забезпечує підтвердження кожного блоку відразу після його створення, підвищуючи стабільність вузлів та користувацький досвід.
Децентралізоване забезпечення: шляхом розділення виробництва блоків і генерації coinbase, валідатори відповідають за створення блоків, а довірителі здійснюють обчислення доказів, запобігаючи монополії небагатьох суб'єктів на мережу.
Механізм стимулювання: валідатори та доказувальники ділять блокові винагороди; заохочують доказувальників стати валідаторами шляхом ставлення токенів, що підвищує рівень децентралізації та обчислювальні можливості мережі.
Aleo дозволяє розробникам створювати програми, які не підлягають обмеженням газу, тому вони особливо підходять для таких застосунків, як машинне навчання, які потребують тривалого виконання.
Останні новини
Aleo планує запустити тестову мережу з винагородами 1 липня, ось деяка важлива остання інформація:
Голосування за ARC-100 пройшло: голосування за ARC-100 ("Кращі практики відповідності для розробників та операторів Aleo") завершилося та було схвалено. Команда проводить остаточні налаштування.
Програма стимулювання валідаторів: ця програма розпочнеться 1 липня і має на меті перевірку нового механізму puzzle. Програма буде діяти до 15 липня, протягом якого буде розподілено 1 мільйон Aleo балів як винагороду. Відсоток балів, згенерованих вузлом, визначить його частку винагороди, кожен валідатор повинен заробити не менше 100 токенів, щоб отримати винагороду.
Початкова пропозиція та обігова пропозиція: початкова кількість складає 1,5 мільярда токенів, початкова обігова пропозиція становить приблизно 10%. Ці токени в основному походять з завдань Coinbase (75 мільйонів), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкінг, роботу валідаторів та валідаційні вузли.
Тестова мережа Beta скидання: це останнє скидання мережі, після якого нові функції не будуть додаватися, мережа стане схожою на основну. Скидання потрібне для додавання ARC-41 та нової функції puzzle.
Замороження коду: Замороження коду було завершено тиждень тому.
План розширення верифікаційних вузлів: початкова кількість верифікаційних вузлів складає 15, мета - збільшити до 50 протягом року, а зрештою до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати верифікатором - 10 000 000 токенів, ці суми з часом будуть поступово зменшуватися.
Оновлення алгоритму Synthesis Puzzle
Aleo нещодавно оновив останню версію алгоритму puzzle, який називається Synthesis Puzzle. Новий алгоритм більше не акцентує увагу на генерації результатів zk proof, а зосереджується на генерації проміжних даних witness перед створенням proof. Нижче наведені основні характеристики та процес алгоритму:
На кожному епосі генерується спільна EpochProgram, з випадкового числа, що генерується з поточного epoch_hash, вибирається з набору інструкцій.
Використання nonce (побудованого з адреси, що отримує винагороду за майнінг, epoch_hash та випадкового числа counter) як насіння для генерації вхідних даних EpochProgram.
Агрегуйте R1CS та вхідні дані, що відповідають EpochProgram, для виконання обчислення свідчення.
Обчисліть корінь Меркла та перетворіть його на proof_target рішення, щоб визначити, чи відповідає він останньому proof_target поточного епохи.
Якщо умови виконуються, надішліть рішення та транслюйте.
Це оновлення змінило puzzle з генерації proof на генерацію witness, логіка обчислення всіх рішень в межах кожного epoch залишається незмінною, але між різними epoch існують значні відмінності в обчислювальній логіці. Новий алгоритм відмовився від попередніх обчислень MSM та NTT, одночасно через наявність часткових залежностей в процесі генерації witness, реалізація паралелізації стикається з неабиякими викликами.
В цілому, ця оновлення алгоритму Aleo ще більше посилило його переваги в захисті приватності та масштабованості, надаючи новий імпульс революції приватності Web3. З постійним розвитком і вдосконаленням проекту, Aleo має потенціал відігравати все більш важливу роль у сфері захисту приватності в блокчейні.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
14 лайків
Нагородити
14
4
Репост
Поділіться
Прокоментувати
0/400
GateUser-fc4fde9d
· 08-14 06:14
Смажити старий рис кілька років тому, смердючий ідіот
Aleo веде революцію конфіденційності Web3: zk-SNARKs надають можливості конфіденційності та масштабованості Блокчейн
Aleo: Блокчейн проект, що веде революцію приватності в Web3
Aleo є проектом Блокчейн, який спрямований на захист приватності, реалізуючи вищий рівень приватності та масштабованості через технологію нульових знань (ZKP). Основна концепція проекту полягає в тому, щоб дозволити користувачам здійснювати перевірку особистості та обробку даних без розкриття особистих даних.
Огляд проєкту
Приватність
Основою Aleo є технологія доказів нульового знання (ZKPs), що дозволяє виконувати транзакції та смарт-контракти за умови збереження приватності. Деталі транзакцій користувачів, такі як відправник та сума транзакції, за замовчуванням приховані. Цей дизайн не лише захищає приватність користувачів, але й дозволяє у разі необхідності проводити вибіркове розкриття, що робить його ідеальним для розвитку DeFi-додатків. Основні компоненти включають:
Leo мова програмування: адаптована на основі Rust, спеціально розроблена для створення застосунків нульового знання (ZKApps), знижує вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконання обчислень поза ланцюгом, а на ланцюзі лише перевіряється результат обчислень, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень і дозволяє виконання функцій без ліцензії.
zkCloud: надає безпечне, приватне середовище для обчислень поза ланцюгом, підтримує програмну взаємодію між користувачами, організаціями та DAO.
Aleo також пропонує інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що підтримує розробників у швидкому написанні та публікації додатків. Крім того, розробники можуть розгортати додатки в реєстрі програм Aleo, не покладаючись на третіх осіб, що знижує ризик платформи.
Масштабованість
Aleo використовує обробку off-chain, де транзакції спочатку обчислюють докази на пристрої користувача, а потім лише результати верифікації завантажуються на Блокчейн. Цей підхід значно підвищує швидкість обробки транзакцій і масштабованість системи, уникаючи проблем з перевантаженням мережі та високими витратами.
механізм консенсусу
Aleo впровадив AleoBFT, це механізм консенсусу з гібридною архітектурою, який поєднує миттєву фінальність валідаторів та обчислювальні можливості доказувачів. AleoBFT не лише підвищує рівень децентралізації мережі, але й покращує продуктивність та безпеку.
Швидка остаточність блоку: AleoBFT забезпечує підтвердження кожного блоку відразу після його створення, підвищуючи стабільність вузлів та користувацький досвід.
Децентралізоване забезпечення: шляхом розділення виробництва блоків і генерації coinbase, валідатори відповідають за створення блоків, а довірителі здійснюють обчислення доказів, запобігаючи монополії небагатьох суб'єктів на мережу.
Механізм стимулювання: валідатори та доказувальники ділять блокові винагороди; заохочують доказувальників стати валідаторами шляхом ставлення токенів, що підвищує рівень децентралізації та обчислювальні можливості мережі.
Aleo дозволяє розробникам створювати програми, які не підлягають обмеженням газу, тому вони особливо підходять для таких застосунків, як машинне навчання, які потребують тривалого виконання.
Останні новини
Aleo планує запустити тестову мережу з винагородами 1 липня, ось деяка важлива остання інформація:
Голосування за ARC-100 пройшло: голосування за ARC-100 ("Кращі практики відповідності для розробників та операторів Aleo") завершилося та було схвалено. Команда проводить остаточні налаштування.
Програма стимулювання валідаторів: ця програма розпочнеться 1 липня і має на меті перевірку нового механізму puzzle. Програма буде діяти до 15 липня, протягом якого буде розподілено 1 мільйон Aleo балів як винагороду. Відсоток балів, згенерованих вузлом, визначить його частку винагороди, кожен валідатор повинен заробити не менше 100 токенів, щоб отримати винагороду.
Початкова пропозиція та обігова пропозиція: початкова кількість складає 1,5 мільярда токенів, початкова обігова пропозиція становить приблизно 10%. Ці токени в основному походять з завдань Coinbase (75 мільйонів), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкінг, роботу валідаторів та валідаційні вузли.
Тестова мережа Beta скидання: це останнє скидання мережі, після якого нові функції не будуть додаватися, мережа стане схожою на основну. Скидання потрібне для додавання ARC-41 та нової функції puzzle.
Замороження коду: Замороження коду було завершено тиждень тому.
План розширення верифікаційних вузлів: початкова кількість верифікаційних вузлів складає 15, мета - збільшити до 50 протягом року, а зрештою до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати верифікатором - 10 000 000 токенів, ці суми з часом будуть поступово зменшуватися.
Оновлення алгоритму Synthesis Puzzle
Aleo нещодавно оновив останню версію алгоритму puzzle, який називається Synthesis Puzzle. Новий алгоритм більше не акцентує увагу на генерації результатів zk proof, а зосереджується на генерації проміжних даних witness перед створенням proof. Нижче наведені основні характеристики та процес алгоритму:
На кожному епосі генерується спільна EpochProgram, з випадкового числа, що генерується з поточного epoch_hash, вибирається з набору інструкцій.
Використання nonce (побудованого з адреси, що отримує винагороду за майнінг, epoch_hash та випадкового числа counter) як насіння для генерації вхідних даних EpochProgram.
Агрегуйте R1CS та вхідні дані, що відповідають EpochProgram, для виконання обчислення свідчення.
Перетворіть обчислений свідок у послідовність листових вузлів Меркле-дерева, побудуйте K-арне Меркле-дерево глибиною 8.
Обчисліть корінь Меркла та перетворіть його на proof_target рішення, щоб визначити, чи відповідає він останньому proof_target поточного епохи.
Якщо умови виконуються, надішліть рішення та транслюйте.
Це оновлення змінило puzzle з генерації proof на генерацію witness, логіка обчислення всіх рішень в межах кожного epoch залишається незмінною, але між різними epoch існують значні відмінності в обчислювальній логіці. Новий алгоритм відмовився від попередніх обчислень MSM та NTT, одночасно через наявність часткових залежностей в процесі генерації witness, реалізація паралелізації стикається з неабиякими викликами.
В цілому, ця оновлення алгоритму Aleo ще більше посилило його переваги в захисті приватності та масштабованості, надаючи новий імпульс революції приватності Web3. З постійним розвитком і вдосконаленням проекту, Aleo має потенціал відігравати все більш важливу роль у сфері захисту приватності в блокчейні.