Исследования ZK завершили год значительной активностью. Темы включают: SNARGs, zkVMs, SIMD-дружественные проверяемые FHE, конфиденциальность нейронных сетей, аттестация роя, ZKP на основе hint-MLWE и действительность бюллетеней. Все это освещено в последнем zkMesh. Читать ниже