# Сопутствующие статьи по теме zkProof

Новостной центр HTX предлагает последние статьи и углубленный анализ по "zkProof", охватывающие рыночные тренды, новости проектов, развитие технологий и политику регулирования в криптоиндустрии.

Zcash заявляет, что доказательство Ironwood исключает необнаружимые ошибки подделки

Исследователи Zcash завершили формальную верификацию Ironwood, опубликовав машинно-проверенное доказательство, что новый экранированный пул сети не содержит необнаружимых ошибок, способных привести к подделке монет, при соблюдении заявленных криптографических предположений. Доказательство, написанное на языке Lean, содержит более 2700 теорем и потребовало более месяца работы трёх команд. Оно устанавливает свойство безопасности «целостности баланса», гарантируя, что пул не может выплатить большую сумму, чем была публично в него внесена. Работа покрывает необходимые компоненты, включая систему доказательств с нулевым разглашением, но не касается гарантий конфиденциальности. Ironwood был представлен в обновлении NU6.3 как ответ на уязвимость в старом пуле Orchard, которая теоретически позволяла подделку ZEC. Для восстановления доверия к целостности эмиссии Zcash средства при миграции из Orchard проходят через публичный контрольный пункт («турникет»), предотвращающий попадание потенциально избыточных монет в новый пул. Этот процесс также может со временем предоставить данные о возможной эксплуатации старой уязвимости.

cointelegraph4 ч. назад

Zcash заявляет, что доказательство Ironwood исключает необнаружимые ошибки подделки

cointelegraph4 ч. назад

Zcash запускает новый узел Zakura: приватные платежи достигают 50 000 TPS, цель — конкуренция с Visa и Mastercard

Новая нода Zcash, Zakura, запущена с целью достичь 50 000 транзакций в секунду при полной конфиденциальности, что сравнимо с пропускной способностью Visa и Mastercard. Проект, поддерживаемый частными пожертвованиями в ZEC, представляет собой форк официального ПО Zebra от Фонда Zcash. Zakura 1.0.0 предлагает «обрезку» данных блокчейна, сокращая размер цепи для новых нод до ~11 ГБ и ускоряя запуск в 680 раз. Она также обеспечивает совместимость со старым клиентом zcashd. Главная проблема масштабирования — большой размер доказательств с нулевым разглашением. Проект Tachyon под руководством Шона Боу решает это с помощью рекурсивных доказательств, уменьшая объем данных для проверки. Для кошельков, которые сейчас обрабатывают ~1 транзакцию в секунду, группа Valar разрабатывает технологию приватного информационного поиска (PIR), позволяющую безопасно запрашивать данные. Также представлена экспериментальная система быстрого распространения блоков. В конце июля ожидается активация обновления Ironwood (NU6.3), призванного устранить последствия уязвимости в пуле Orchard, обнаруженной в мае, путем изоляции потенциально фальшивых монет. Эти шаги демонстрируют прогресс в совмещении приватности и высокой производительности в сети Zcash.

marsbit07/21 06:16

Zcash запускает новый узел Zakura: приватные платежи достигают 50 000 TPS, цель — конкуренция с Visa и Mastercard

marsbit07/21 06:16

Мемные токены Solana снова в безумном росте! PIPPIN взлетает на 35%, лидируя в гонке ИИ — инвесторы переключаются на криптоактивы с реальными технологиями

SOLANA-мемкоиды снова демонстрируют безумный рост! Токен PIPPIN, работающий на базе искусственного интеллекта, вырос на 35% за 24 часа, а его рыночная стоимость приблизилась к $500 млн. Это отражает новый тренд: инвесторы переходят от спекулятивных активов к проектам с реальными технологиями. На фоне этого Bitcoin Hyper ($HYPER) привлекает внимание как революционное решение второго уровня для Bitcoin, которое сочетает безопасность Bitcoin с производительностью Solana (до десятков тысяч TPS). Проект уже собрал $29,7 млн в ходе предпродажи, а его стейкинг предлагает высокую годовую доходность. В 2026 году победителями станут технологически продвинутые активы, а не те, что движимы лишь спекулятивным ажиотажем.

bitcoinist12/25 17:29

Мемные токены Solana снова в безумном росте! PIPPIN взлетает на 35%, лидируя в гонке ИИ — инвесторы переключаются на криптоактивы с реальными технологиями

bitcoinist12/25 17:29

a16z предлагает «стейкинг-медиа»: новая игра с залогами для борьбы с фейками

a16z предложила концепцию «Staked Media» (Медиа с стейкингом) для борьбы с фейковыми новостями с помощью криптографических технологий. Идея заключается в том, что авторы контента должны делать стейкинг в виде криптовалюты (например, ETH или USDC) и предоставлять проверяемые доказательства достоверности информации через блокчейн. Если контент окажется ложным, средства будут конфискованы. Система использует комбинацию алгоритмов и сообщества для проверки фактов: пользователи с правом голоса (тоже внесшие стейкинг) голосуют за достоверность, а при спорных случаях привлекается арбитражный комитет. Для злоумышленников предусмотрена система репутации — многократные нарушения увеличивают размер требуемого стейкинга и снижают доверие. Это создаёт экономические и репутационные стимулы для распространения правдивой информации, особенно в эпохи AI-генерации контента. Проект может быть реализован в течение двух лет.

比推12/17 06:57

a16z предлагает «стейкинг-медиа»: новая игра с залогами для борьбы с фейками

比推12/17 06:57

Разбор нового концепта a16z «Стейкинг-медиа»: «Расписка + залог» в интернете как экономическое решение проблемы фейков

А16z предложила новую концепцию «Staked Media» (ставка СМИ) для борьбы с фейковыми новостями в эпоху ИИ. Идея заключается в том, чтобы авторы и медиа подтверждали достоверность контента с помощью блокчейна (например, Ethereum) и криптографических технологий, таких как zk-доказательства. Они должны вносить криптовалютный залог (ETH, USDC и т.д.) в смарт-контракт. Если информация окажется ложной, средства будут конфискованы. Это создаёт экономический стимул для правдивости. Система включает алгоритмы и сообщество: пользователи с правом голоса (тоже вносящие залог) голосуют за достоверность, а при спорах подключается арбитражный комитет. Репутация автора учитывается — многократные нарушения ведут к потере доверия и повышению ставок. Крупные СМИ и влиятельные лица вносят большие залоги, обычные пользователи — меньшие. Концепция может быть реализована в течение двух лет.

marsbit12/17 06:07

Разбор нового концепта a16z «Стейкинг-медиа»: «Расписка + залог» в интернете как экономическое решение проблемы фейков

marsbit12/17 06:07

Moca Network запускает бета-версию MocaProof — платформу верификации цифровой идентичности и вознаграждений

Moca Network, флагманский проект Animoca Brands, анонсировал бета-запуск платформы MocaProof для проверки цифровой идентичности и вознаграждений. Платформа использует блокчейн и zkProofs для защиты приватности данных, позволяя пользователям подтверждать свои учетные данные без раскрытия личной информации. MocaProof интегрирована с AIR Kit и Moca Chain, обеспечивая межплатформенную совместимость и монетизацию данных. Пользователи могут проверять учетные данные в таких категориях, как влияние, финансы, лояльность и активность, получая вознаграждения в виде MOCA Coin, аирдропов и AIR SP. Платформа включает виртуального компаньона Mocat, который визуализирует проверенные данные и развивается по мере роста репутации пользователя. Бета-версия запущена в тестовой сети Moca Chain, с переходом на основную сеть в 2026 году. В честь запуска проводится кампания с призовым фондом в $50 000.

TheNewsCrypto12/08 17:37

Moca Network запускает бета-версию MocaProof — платформу верификации цифровой идентичности и вознаграждений

TheNewsCrypto12/08 17:37

活动图片