Return to Article Details TESTING THE «ARITHMETIZATION» SOFTWARE MODEL OF THE ZK-STARK PROTOCOL Download Download PDF