Aleo: Інноваційний Блокчейн для захисту конфіденційності та масштабованості

Aleo є блокчейн-проектом, що зосереджений на захисті приватності, який досягає більшої конфіденційності та масштабованості за допомогою технології нульових знань. Його основна ідея полягає в тому, щоб дозволити користувачам здійснювати автентифікацію та обробку даних без розкриття особистих даних.

Огляд проекту

Приватність

Основою Aleo є технологія нульових знань, яка дозволяє виконувати транзакції та смарт-контракти з дотриманням конфіденційності. Деталі транзакцій користувачів за замовчуванням приховані, але у разі необхідності дозволяється вибірковий розкриття, що дуже підходить для розвитку DeFi-додатків. Основні компоненти включають:

1. Leo мова програмування: спеціально розроблена для створення застосунків з нульовими знаннями, зменшує вимоги до знань криптографії для розробників.

2. snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза блокчейном, а в блокчейні лише перевіряти результати, що підвищує ефективність. snarkOS забезпечує безпеку даних і обчислень, дозволяючи виконання функцій без дозволу.

3. zkCloud: забезпечує безпечне, приватне середовище для оффчейн обчислень, підтримує багатосторонню програмну взаємодію.

Aleo також пропонує інтегроване середовище розробки та набір інструментів для розробки програмного забезпечення, що підтримує швидку розробку та впровадження додатків.

Масштабованість

Aleo використовує метод обробки поза мережею, де транзакції спочатку обчислюються на пристрої користувача, а потім лише результати перевірки завантажуються на Блокчейн. Це значно підвищує швидкість обробки транзакцій та масштабованість системи, уникаючи мережевих заторів і високих витрат.

механізм консенсусу

Aleo впровадила AleoBFT, гібридну архітектуру механізму консенсусу, що поєднує миттєву фінальність валідаторів і обчислювальну потужність доказувачів. Основні характеристики:

1. Швидка остаточність блоку: забезпечити підтвердження кожного блоку відразу після його генерації.

2. Децентралізоване забезпечення: через розділення виробництва блоків і генерацію coinbase, запобігає монополії небагатьох суб'єктів на мережу.

3. Механізм стимулювання: валідатори та підтверджувачі ділять блокові винагороди, що заохочує участь в експлуатації мережі.

Aleo дозволяє розробляти програми без обмежень gas, що підходять для довготривалих додатків, таких як машинне навчання.

Останні новини

1. Пропозиція ARC-100 прийнята: стосується відповідності та заходів безпеки, триває остаточне коригування.

2. Програма стимулювання валідаторів: стартує 1 липня та триватиме до 15 липня, буде розподілено 1 мільйон Aleo балів як винагороду.

3. Початкове постачання та обіг: початковий обсяг постачання 1,5 мільярда токенів, початковий обіг приблизно 10%.

4. Тестова мережа Beta скинута: додано ARC-41 та нову функцію puzzle.

5. Замороження коду: завершено тиждень тому.

6. Розширення верифікаційних вузлів: початкові 15 вузлів, мета - збільшити до 50 протягом року, в кінцевому підсумку до 500.

Оновлення алгоритму Synthesis Puzzle

Новий алгоритм більше не зосереджується на генерації результатів zk proof, було видалено обчислення MSM та NTT, натомість зосередили увагу на генерації свідків. Основний процес:

1. Кожен епоха генерує фіксовану EpochProgram.

2. Використовуйте nonce як випадкове насіння для генерації вхідних даних EpochProgram.

3. Агрегуйте R1CS та вхідні дані, обчисліть свідка.

4. Перетворити witness на листовий вузол дерева Меркла.

5. Обчисліть корінь Меркле та перетворіть його на proof_target.

6. Якщо умови виконуються, подайте рішення та транслюйте.

Це оновлення змінює puzzle з генерації proof на генерацію witness, обчислення логічно узгоджене в межах кожного epoch, але між різними epoch відмінності значні. Нова алгоритм ставить виклик оптимізації для GPU, реалізація паралелізації має певні труднощі.