Aleo: новий талант Блокчейн з акцентом на конфіденційність та масштабованість
Aleo є проектом Блокчейн, що зосереджений на захисті приватності, який досягає більшої приватності та масштабованості за допомогою технології нульових знань. Основна ідея проекту полягає в тому, щоб дозволити користувачам проводити верифікацію особи та обробку даних без розкриття особистих даних.
Огляд проекту
Приватність
Основою Aleo є технологія нульових доказів (ZKPs), яка дозволяє виконувати транзакції та смарт-контракти з одночасним захистом конфіденційності. Деталі транзакцій користувачів за замовчуванням приховані, але дозволяють вибіркове розкриття за необхідності. Основні компоненти включають:
Мова Leo: мова, спеціально призначена для розробки нульових знань (ZKApps), що зменшує вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза мережею, а в мережі лише перевіряє результати; snarkOS забезпечує безпеку даних та обчислень.
zkCloud: надає безпечне, приватне середовище для обчислень поза блокчейном, підтримує програмну взаємодію між сторонами.
Aleo також пропонує інтегроване середовище розробки та програмний пакет для розробки, що підтримує швидке написання та публікацію додатків. Розробники можуть безпосередньо розгортати додатки в реєстрі програм Aleo, що знижує ризики платформи.
Масштабованість
Aleo використовує обробку поза блокчейном, транзакції спочатку обчислюються на пристроях користувачів, а потім лише результати перевірки завантажуються в Блокчейн. Цей підхід значно підвищує швидкість обробки транзакцій та масштабованість системи, уникаючи проблем з заторами в мережі та високими витратами.
Механізм консенсусу
Aleo впровадив AleoBFT, це гібридна архітектура механізму консенсусу, яка поєднує миттєву остаточність валідаторів та обчислювальну потужність доказувачів. AleoBFT не лише підвищує рівень децентралізації мережі, але й покращує продуктивність і безпеку. Його характеристики включають:
Швидка фінальність блоку: забезпечити підтвердження кожного блоку відразу після його створення.
Децентралізоване забезпечення: через відокремлення виробництва блоків від генерування coinbase, запобігає монополії небагатьох сутностей у мережі.
Механізм стимулювання: валідатори та довірені особи ділять блокові винагороди, заохочуючи довірених осіб ставити токени, щоб стати валідаторами.
Aleo дозволяє розробникам створювати програми без обмежень на газ, особливо підходить для застосунків, які потребують тривалого виконання, таких як машинне навчання тощо.
Останні новини
Aleo планує запустити тестову мережу з винагородами 1 липня, ось деяка важлива остання інформація:
Пропозиція ARC-100 затверджена, команда проводить фінальні налаштування.
Програма стимулювання валідаторів розпочнеться 1 липня і триватиме до 15 липня, буде розподілено 1 000 000 Aleo балів у якості винагороди.
Початкова пропозиція становить 1,5 мільярда токенів, початкова циркуляційна пропозиція складає близько 10%.
Після завершення скидання тестової мережі бета-версії, мережа буде подібна до основної мережі.
Замороження коду було завершено тиждень тому.
План розширення вузлів верифікації: початкові 15 вузлів, мета - збільшити їх до 50 протягом року, врешті-решт досягти 500.
Інтерпретація алгоритму Synthesis Puzzle
Aleo нещодавно оновив останню версію алгоритму puzzle, який називається Synthesis Puzzle. Новий алгоритм більше не зосереджується на генерації результатів zk proof, а фокусується на створенні проміжних даних witness перед генерацією proof. Алгоритмічний процес наступний:
Кожен епоха створює спільну EpochProgram.
Використовуйте nonce( для побудови адреси винагороди за майнінг, epoch_hash та випадкового числа counter як вхідні дані ).
Побудуйте R1CS доказову схему згідно з EpochProgram та вхідними даними, генеруючи свідчення.
Перетворити witness у листовий вузол Merkle-дерева, обчислити Merkle root.
Перетворити корінь Меркла на proof_target рішення, щоб визначити, чи відповідає він вимогам складності поточної епохи.
Якщо вимоги виконані, подайте рішення та транслюйте.
Оновлення призвело до того, що puzzle перетворився з генерування proof у генерування witness, логіка обчислення в кожному epoch залишається послідовною, але між різними epoch спостерігаються значні відмінності. Новий алгоритм відмовився від попередніх обчислень MSM та NTT, що ускладнило реалізацію паралелізму, що може вплинути на існуючі стратегії оптимізації видобутку.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Aleo запускає стимулюючу Тестову мережу, Блокчейн з нульовими знаннями наближається до Основної мережі
Aleo: новий талант Блокчейн з акцентом на конфіденційність та масштабованість
Aleo є проектом Блокчейн, що зосереджений на захисті приватності, який досягає більшої приватності та масштабованості за допомогою технології нульових знань. Основна ідея проекту полягає в тому, щоб дозволити користувачам проводити верифікацію особи та обробку даних без розкриття особистих даних.
Огляд проекту
Приватність
Основою Aleo є технологія нульових доказів (ZKPs), яка дозволяє виконувати транзакції та смарт-контракти з одночасним захистом конфіденційності. Деталі транзакцій користувачів за замовчуванням приховані, але дозволяють вибіркове розкриття за необхідності. Основні компоненти включають:
Мова Leo: мова, спеціально призначена для розробки нульових знань (ZKApps), що зменшує вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза мережею, а в мережі лише перевіряє результати; snarkOS забезпечує безпеку даних та обчислень.
zkCloud: надає безпечне, приватне середовище для обчислень поза блокчейном, підтримує програмну взаємодію між сторонами.
Aleo також пропонує інтегроване середовище розробки та програмний пакет для розробки, що підтримує швидке написання та публікацію додатків. Розробники можуть безпосередньо розгортати додатки в реєстрі програм Aleo, що знижує ризики платформи.
Масштабованість
Aleo використовує обробку поза блокчейном, транзакції спочатку обчислюються на пристроях користувачів, а потім лише результати перевірки завантажуються в Блокчейн. Цей підхід значно підвищує швидкість обробки транзакцій та масштабованість системи, уникаючи проблем з заторами в мережі та високими витратами.
Механізм консенсусу
Aleo впровадив AleoBFT, це гібридна архітектура механізму консенсусу, яка поєднує миттєву остаточність валідаторів та обчислювальну потужність доказувачів. AleoBFT не лише підвищує рівень децентралізації мережі, але й покращує продуктивність і безпеку. Його характеристики включають:
Швидка фінальність блоку: забезпечити підтвердження кожного блоку відразу після його створення.
Децентралізоване забезпечення: через відокремлення виробництва блоків від генерування coinbase, запобігає монополії небагатьох сутностей у мережі.
Механізм стимулювання: валідатори та довірені особи ділять блокові винагороди, заохочуючи довірених осіб ставити токени, щоб стати валідаторами.
Aleo дозволяє розробникам створювати програми без обмежень на газ, особливо підходить для застосунків, які потребують тривалого виконання, таких як машинне навчання тощо.
Останні новини
Aleo планує запустити тестову мережу з винагородами 1 липня, ось деяка важлива остання інформація:
Пропозиція ARC-100 затверджена, команда проводить фінальні налаштування.
Програма стимулювання валідаторів розпочнеться 1 липня і триватиме до 15 липня, буде розподілено 1 000 000 Aleo балів у якості винагороди.
Початкова пропозиція становить 1,5 мільярда токенів, початкова циркуляційна пропозиція складає близько 10%.
Після завершення скидання тестової мережі бета-версії, мережа буде подібна до основної мережі.
Замороження коду було завершено тиждень тому.
План розширення вузлів верифікації: початкові 15 вузлів, мета - збільшити їх до 50 протягом року, врешті-решт досягти 500.
Інтерпретація алгоритму Synthesis Puzzle
Aleo нещодавно оновив останню версію алгоритму puzzle, який називається Synthesis Puzzle. Новий алгоритм більше не зосереджується на генерації результатів zk proof, а фокусується на створенні проміжних даних witness перед генерацією proof. Алгоритмічний процес наступний:
Кожен епоха створює спільну EpochProgram.
Використовуйте nonce( для побудови адреси винагороди за майнінг, epoch_hash та випадкового числа counter як вхідні дані ).
Побудуйте R1CS доказову схему згідно з EpochProgram та вхідними даними, генеруючи свідчення.
Перетворити witness у листовий вузол Merkle-дерева, обчислити Merkle root.
Перетворити корінь Меркла на proof_target рішення, щоб визначити, чи відповідає він вимогам складності поточної епохи.
Якщо вимоги виконані, подайте рішення та транслюйте.
Оновлення призвело до того, що puzzle перетворився з генерування proof у генерування witness, логіка обчислення в кожному epoch залишається послідовною, але між різними epoch спостерігаються значні відмінності. Новий алгоритм відмовився від попередніх обчислень MSM та NTT, що ускладнило реалізацію паралелізму, що може вплинути на існуючі стратегії оптимізації видобутку.