Доказательство вашей личности не должно означать раскрытие всей вашей идентичности. Получите краткий обзор ZPass и того, как он формирует будущее путешествий 🌐 ↓

В 2024 году мы провели платежи в стейблкоинах на сумму 30 триллионов долларов, но только 0,01% из них были зашифрованы. Счастливой пятницы.

Это просто неправильно.

Мы рады приветствовать нашего нового Генерального юрисконсульта в команде @ProvableHQ! Он оптимистично настроен по поводу Aleo, конфиденциальности по умолчанию и создания инструментов, которые перенесут традиционные капитальные рынки в блокчейн. Мы не можем не согласиться. Давайте приступим к работе! 💪

Aleo использует вложенную амортизацию, чтобы сделать рекурсивные доказательства практичными. Вместо повторного выполнения каждой транзакции на каждом узле, валидаторы проверяют сжатые доказательства. Это переход от мейнфреймных вычислений к персональным вычислениям для блокчейнов.

ZK-кредитование прокладывает новый путь для онлайн-идентичности. Вы можете доказать, что вам больше 18, не раскрывая свою дату рождения. Вы можете доказать, что вы не в санкционном списке, не раскрывая свою национальность. Это решает проблемы, с которыми интернет борется на протяжении десятилетий.

Я приветствую настоящие технологии конфиденциальности, но это полная чушь 🧢

Большинство блокчейнов рассматривают транзакции как дискретные операции. Мы внедрили async/await в Leo, что позволяет разработчикам рассматривать вычисления как потоки между транзакциями, блоками и временем. Это приносит парадигмы веб-программирования в разработку ZK.

никто об этом не говорит, поэтому я скажу: наш архитектурный сдвиг преодолевает трилемму @VitalikButerin. ZK кардинально меняет архитектуру блокчейна: переход от 'мейнфреймного вычисления' (общая блокировка времени) к 'персональному вычислению' (выполнение локально, проверка глобально).

не думаю, что многие знают, насколько невероятно сложна математика, стоящая за ZK-доказательствами. Когда доказательства в 1000 раз дороже, чем нативные, каждая функция должна быть тщательно оптимизирована. Эта точная инженерия — причина, по которой создание готовой к производству zkVM заняло годы.