Рад поделиться новой границей уменьшения размера доказательства на основе хеширования SNARKs: легкая черная коробка с постквантовой безопасностью, позволяющая уменьшить размер доказательства до 60% от оригинала! вместе с моим замечательным соавтором @yuwen01!