Новая запись в нашем блоге! Мы рассматриваем недавние разработки в анализе криптографической безопасности одной из самых больших частей ZK-движка: протокола FRI, реализующего интерактивные оракульные доказательства близости, IOPPs.