Нульові знання доведення насправді гарячий тренд останнім часом, zkp, berv вже вийшли на спотовий ринок, обговорення на ринку досить активне. Але чесно кажучи, я думаю, що дизайн однієї конкретної протоколу варто розглянути більш детально — Walrus.

Говорячи просто, Walrus — це система зобов'язань і доведень нульових знань. Звучить трохи абстрактно, давайте розберемося поступово.

**Контекст та джерело**

Walrus розроблена компанією AZTEC, яка спеціалізується на технологіях приватності. Раніше вона здобула популярність своїми приватними транзакціями на Ethereum — від ранньої zk.money до пізнішого Aztec Connect, все це їхня робота. Тому за цим протоколом стоїть певний технічний досвід.

**Основна мета досить чітка**

Забезпечити ефективне генерування доведень поза ланцюгом та верифікацію на ланцюгу, особливо в сценаріях, де потрібно приховувати суми транзакцій та ідентичність учасників. Іншими словами, потрібно захистити приватність, але без надмірних часових витрат — це складне завдання.

**Як це реалізовано технічно**

По-перше, вона побудована на базі системи доведень PLONK. PLONK сама по собі є універсальною схемою без необхідності в довірених установках, Walrus можна розглядати як спеціалізацію та оптимізацію PLONK.

Де справжня цінність? У внутрішніх добутку аргументах. Це найбільш обчислювально важка частина в протоколах ZK-SNARKs, і Walrus зосередилася саме на цьому, значно прискоривши генерування доведень через оптимізацію цього етапу.

Крім того, протокол з самого початку розроблявся з урахуванням апаратного забезпечення. Він повною мірою використовує SIMD інструкції сучасних CPU та можливості паралельних обчислень на GPU, безпосередньо прискорюючи весь процес. Це не та схема, яка існує тільки в теорії.

**Зв'язок з мовою програмування Noir**

Walrus займає важливе місце в екосистемі Noir компанії Aztec. Noir дозволяє розробникам писати логіку приватних схем синтаксисом, схожим на Rust, і після компіляції можна вибрати Walrus як бекенд для генерування доведень. Такий комбінований підхід має значний потенціал.

**Практичні сценарії застосування**

Приватні транзакції — це прямолінійно: приховування суми та адреси одержувача при переводах на ланцюгу. У DeFi також є застосування — користувачі можуть брати участь у децентралізованому фінансуванні без розкриття деталей своїх позицій. В ширшому плані це також застосовується до верифікації ідентичності та облікових даних: ви можете довести наявність певних властивостей (наприклад, вік, кваліфікацію) без розкриття конкретної інформації.

Ці сценарії в Web3 насправді є реальними потребами, а не純теоретичними можливостями.

Це базова інформація про Walrus. Надалі я продовжу обговорення його шляхів розвитку застосування, якщо цей тренд буде цікавити людей.