Криптографические пруфы zkSNARKs для масштабирования и безопасности

[Akriosss47]

Интересно,но в математике полный ноль:(

[BoogerWooger]

Ну, фишка последних лет, что сейчас на современых фреймворках уже можно писать не вдаваясь сильно в математику пруфов. Просто понимтаь что прям много всего не засунешь, и просто тестировать, стараясь чтобы proving и verification time/proof size были нормальными, чтобы система работала

[aleks_raiden]

По железу для улучшения работы этого дела тоже ведут работы. Можно почитать первые наметки - https://medium.com/@omershlomovits/revisiting-paradigm-hardware-acceleration-for-zero-knowledge-proofs-16f717a49555 и https://hackmd.io/@Cysic/BJQcpVbXn

[BoogerWooger]

ведут, и довольно активно. Как минимум есть несколько проектов, которые пытаются создать железо для прувинга. Плюс многие новые пруф системы умеют эффективно использовать много конвейеров GPU, на котором получают буст производительности в разы, а то и десятки раз. Это не нейросети, но все равно - очень значимый прирост. А на одной из конференций, где я был, посвященной чисто пруф-системам и ZK, был, например, доклад от AMD. С чего бы это?