Return to Article Details Theoretical implementation and testing of the first stage of the ZK-STARK protocol “Arithmetisation” Download Download PDF