Aleo - це проект Блокчейн, що присвячений захисту конфіденційності, який досяг вищого рівня конфіденційності та масштабованості за допомогою технології нульових знань (ZKP). Основна ідея проекту полягає в тому, щоб дозволити користувачам проводити верифікацію особи та обробку даних, захищаючи при цьому особисті дані.
Огляд проекту
Приватність
Ядро Aleo складається з технології нульових знань (ZKPs), що дозволяє виконувати транзакції та смарт-контракти з захистом конфіденційності. Деталі транзакцій користувачів, такі як відправник та сума, за замовчуванням приховані. Такий дизайн не лише захищає конфіденційність користувачів, але й дозволяє за необхідності здійснювати вибіркове розкриття, що дуже підходить для розвитку DeFi-додатків. Основні компоненти включають:
Leo мова програмування: адаптована на основі Rust, спеціально розроблена для створення нульових знань (ZKApps), зменшуючи вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза блокчейном, а на блокчейні лише перевіряє результати, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень, а також підтримує виконання без ліцензії.
zkCloud: надає безпечне, приватне середовище для обчислень поза Блокчейн, підтримує програмну взаємодію між користувачами, організаціями та DAO.
Aleo також пропонує інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що підтримує розробників у швидкому написанні та випуску додатків. Розробники можуть розгортати додатки в реєстрі програм Aleo, не покладаючись на третіх осіб, що знижує ризики платформи.
Масштабованість
Aleo використовує off-chain обробку, спочатку транзакції обчислюються на пристрої користувача, а потім лише результати перевірки завантажуються на Блокчейн. Цей підхід суттєво покращує швидкість обробки транзакцій і масштабованість системи, уникаючи проблем з перевантаженням мережі та високими витратами, подібних до Ethereum.
Механізм консенсусу
Aleo впроваджує AleoBFT, що є гібридною архітектурою механізму консенсусу, яка поєднує миттєву остаточність валідаторів та обчислювальну потужність доказувачів. AleoBFT не лише підвищує рівень децентралізації мережі, але й зміцнює продуктивність та безпеку.
Швидка фінальність блоку: AleoBFT забезпечує негайне підтвердження кожного згенерованого блоку, підвищуючи стабільність вузлів і покращуючи користувацький досвід.
Децентралізоване забезпечення: шляхом розділення виробництва блоків і генерації coinbase, валідатори відповідають за генерацію блоків, а доказувачі виконують обчислення доказів, щоб запобігти монополії небагатьох сутностей на мережу.
Механізм стимулювання: валідатори та доказувачі ділять блокову винагороду; заохочують доказувачів ставити токени, щоб стати валідаторами, підвищуючи таким чином рівень децентралізації та обчислювальну потужність мережі.
Aleo дозволяє розробникам створювати програми, які не підлягають обмеженням gas, тому він особливо підходить для застосувань, які потребують тривалого виконання, таких як машинне навчання.
Останні новини
Aleo планує запустити тестову мережу з винагородами 1 липня, нижче наведені деякі важливі новини:
Пропозиція ARC-100 затверджена: ця пропозиція стосується питань відповідності, безпеки, таких як блокування коштів в мережі та затримка зарахування, наразі команда проводить остаточні коригування.
Програма стимулювання валідаторів: розпочнеться 1 липня і має на меті перевірку нового механізму puzzle. Програма триватиме до 15 липня, протягом якого буде розподілено 1 000 000 Aleo балів у якості винагороди.
Постачання токенів: початковий обсяг становить 1,5 млрд токенів, початковий обсяг обігу приблизно 10%( буде визначено). Ці токени в основному походять від завдань Coinbase(7500 тисяч), які будуть розподілені протягом перших шести місяців, одночасно включаючи винагороди за стейкінг, роботу валідаторів та валідаційних вузлів.
Тестова мережа Beta скидання: Це останнє скидання мережі, після завершення не буде додано нових функцій, мережа буде подібна до основної мережі.
Заморожування коду: завершено тиждень тому.
План розширення верифікаційних вузлів: початкова кількість верифікаційних вузлів становить 15, мета - збільшити їх до 50 протягом року, а зрештою досягти 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати верифікатором - 10 000 000 токенів, ці суми з часом будуть поступово зменшуватися.
Аналіз алгоритму Synthesis Puzzle
Aleo нещодавно оновив алгоритм puzzle, новий алгоритм більше не зосереджується на генерації результатів zk proof, а більше на генерації проміжних даних witness перед створенням proof. Ось короткий опис нового алгоритму:
Процес консенсусу
Prover обчислює puzzle, будує рішення та транслює їх у мережу.
Агрегація транзакцій валідатора і рішення для нового блоку, забезпечуючи, щоб кількість рішень не перевищувала обмеження консенсусу.
Легітимність рішення потребує перевірки, чи відповідають epoch_hash, proof_target вимогам мережі, а також чи кількість рішень у блоці відповідає обмеженням.
Дійсне рішення може отримати винагороду за консенсус.
Основний механізм Synthesis Puzzle
Кожен етап фіксовано генерує один EpochProgram, який використовують усі провайдери.
Кожен обчислення puzzle називається nonce, складається з адреси, що отримує винагороду за видобуток, epoch_hash та випадкового числа counter.
EpochProgram генерує випадкове число з поточного epoch_hash, вибираючи з інструкційного набору.
Використовуйте nonce як випадкове насіння для генерації вхідних даних EpochProgram.
Агрегувати R1CS та input для EpochProgram, виконати розрахунок свідчення.
Після обчислення всіх свідків, перетворіть їх на послідовність листяних вузлів меркле-дерева.
Обчисліть меркле-корінь та перетворіть його на proof_target рішення, перевірте, чи відповідає він вимогам поточного епохи.
Якщо вимоги виконані, подайте рішення та транслюйте.
Це оновлення перетворює puzzle з генерації proof на генерацію witness, логіка обчислення solution в кожному епосі є однаковою, але між різними епосами існують значні відмінності. Новий алгоритм відмовляється від попередньої оптимізації GPU для обчислень MSM та NTT, а також через наявність залежностей серійного виконання під час генерації witness, реалізація паралелізації стикається з великими викликами.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
10 лайків
Нагородити
10
7
Поділіться
Прокоментувати
0/400
Cfrs2020
· 07-30 10:39
#ALEO# Ви зовсім не читаєте оголошення? Час підтвердження блоку arc6 у серпні зменшився на 90%, з 9 вересня набирає чинності ARC5, комісія за транзакцію зменшилася на 90%. Готуємо шлях для екосистеми.
Переглянути оригіналвідповісти на0
0xTherapist
· 07-30 10:17
Приватність — це свобода
Переглянути оригіналвідповісти на0
tokenomics_truther
· 07-30 10:14
Приватність є продуктивністю
Переглянути оригіналвідповісти на0
LuoGeMade1MillionDo
· 07-30 10:13
приватний лідер публічний ланцюг aleo
Переглянути оригіналвідповісти на0
SchroedingerAirdrop
· 07-30 10:12
Інфраструктура конфіденційності потребує людей для її реалізації.
Суттєве оновлення Aleo приватного Блокчейн: Аналіз алгоритму Synthesis Puzzle та запуск тестової мережі
Aleo: новий прорив у захисті приватності Блокчейн
Aleo - це проект Блокчейн, що присвячений захисту конфіденційності, який досяг вищого рівня конфіденційності та масштабованості за допомогою технології нульових знань (ZKP). Основна ідея проекту полягає в тому, щоб дозволити користувачам проводити верифікацію особи та обробку даних, захищаючи при цьому особисті дані.
Огляд проекту
Приватність
Ядро Aleo складається з технології нульових знань (ZKPs), що дозволяє виконувати транзакції та смарт-контракти з захистом конфіденційності. Деталі транзакцій користувачів, такі як відправник та сума, за замовчуванням приховані. Такий дизайн не лише захищає конфіденційність користувачів, але й дозволяє за необхідності здійснювати вибіркове розкриття, що дуже підходить для розвитку DeFi-додатків. Основні компоненти включають:
Leo мова програмування: адаптована на основі Rust, спеціально розроблена для створення нульових знань (ZKApps), зменшуючи вимоги до знань криптографії для розробників.
snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза блокчейном, а на блокчейні лише перевіряє результати, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень, а також підтримує виконання без ліцензії.
zkCloud: надає безпечне, приватне середовище для обчислень поза Блокчейн, підтримує програмну взаємодію між користувачами, організаціями та DAO.
Aleo також пропонує інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що підтримує розробників у швидкому написанні та випуску додатків. Розробники можуть розгортати додатки в реєстрі програм Aleo, не покладаючись на третіх осіб, що знижує ризики платформи.
Масштабованість
Aleo використовує off-chain обробку, спочатку транзакції обчислюються на пристрої користувача, а потім лише результати перевірки завантажуються на Блокчейн. Цей підхід суттєво покращує швидкість обробки транзакцій і масштабованість системи, уникаючи проблем з перевантаженням мережі та високими витратами, подібних до Ethereum.
Механізм консенсусу
Aleo впроваджує AleoBFT, що є гібридною архітектурою механізму консенсусу, яка поєднує миттєву остаточність валідаторів та обчислювальну потужність доказувачів. AleoBFT не лише підвищує рівень децентралізації мережі, але й зміцнює продуктивність та безпеку.
Швидка фінальність блоку: AleoBFT забезпечує негайне підтвердження кожного згенерованого блоку, підвищуючи стабільність вузлів і покращуючи користувацький досвід.
Децентралізоване забезпечення: шляхом розділення виробництва блоків і генерації coinbase, валідатори відповідають за генерацію блоків, а доказувачі виконують обчислення доказів, щоб запобігти монополії небагатьох сутностей на мережу.
Механізм стимулювання: валідатори та доказувачі ділять блокову винагороду; заохочують доказувачів ставити токени, щоб стати валідаторами, підвищуючи таким чином рівень децентралізації та обчислювальну потужність мережі.
Aleo дозволяє розробникам створювати програми, які не підлягають обмеженням gas, тому він особливо підходить для застосувань, які потребують тривалого виконання, таких як машинне навчання.
Останні новини
Aleo планує запустити тестову мережу з винагородами 1 липня, нижче наведені деякі важливі новини:
Пропозиція ARC-100 затверджена: ця пропозиція стосується питань відповідності, безпеки, таких як блокування коштів в мережі та затримка зарахування, наразі команда проводить остаточні коригування.
Програма стимулювання валідаторів: розпочнеться 1 липня і має на меті перевірку нового механізму puzzle. Програма триватиме до 15 липня, протягом якого буде розподілено 1 000 000 Aleo балів у якості винагороди.
Постачання токенів: початковий обсяг становить 1,5 млрд токенів, початковий обсяг обігу приблизно 10%( буде визначено). Ці токени в основному походять від завдань Coinbase(7500 тисяч), які будуть розподілені протягом перших шести місяців, одночасно включаючи винагороди за стейкінг, роботу валідаторів та валідаційних вузлів.
Тестова мережа Beta скидання: Це останнє скидання мережі, після завершення не буде додано нових функцій, мережа буде подібна до основної мережі.
Заморожування коду: завершено тиждень тому.
План розширення верифікаційних вузлів: початкова кількість верифікаційних вузлів становить 15, мета - збільшити їх до 50 протягом року, а зрештою досягти 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати верифікатором - 10 000 000 токенів, ці суми з часом будуть поступово зменшуватися.
Аналіз алгоритму Synthesis Puzzle
Aleo нещодавно оновив алгоритм puzzle, новий алгоритм більше не зосереджується на генерації результатів zk proof, а більше на генерації проміжних даних witness перед створенням proof. Ось короткий опис нового алгоритму:
Процес консенсусу
Prover обчислює puzzle, будує рішення та транслює їх у мережу.
Агрегація транзакцій валідатора і рішення для нового блоку, забезпечуючи, щоб кількість рішень не перевищувала обмеження консенсусу.
Легітимність рішення потребує перевірки, чи відповідають epoch_hash, proof_target вимогам мережі, а також чи кількість рішень у блоці відповідає обмеженням.
Дійсне рішення може отримати винагороду за консенсус.
Основний механізм Synthesis Puzzle
Кожен етап фіксовано генерує один EpochProgram, який використовують усі провайдери.
Кожен обчислення puzzle називається nonce, складається з адреси, що отримує винагороду за видобуток, epoch_hash та випадкового числа counter.
EpochProgram генерує випадкове число з поточного epoch_hash, вибираючи з інструкційного набору.
Використовуйте nonce як випадкове насіння для генерації вхідних даних EpochProgram.
Агрегувати R1CS та input для EpochProgram, виконати розрахунок свідчення.
Після обчислення всіх свідків, перетворіть їх на послідовність листяних вузлів меркле-дерева.
Обчисліть меркле-корінь та перетворіть його на proof_target рішення, перевірте, чи відповідає він вимогам поточного епохи.
Якщо вимоги виконані, подайте рішення та транслюйте.
Це оновлення перетворює puzzle з генерації proof на генерацію witness, логіка обчислення solution в кожному епосі є однаковою, але між різними епосами існують значні відмінності. Новий алгоритм відмовляється від попередньої оптимізації GPU для обчислень MSM та NTT, а також через наявність залежностей серійного виконання під час генерації witness, реалізація паралелізації стикається з великими викликами.