Arithmetization in zk-STARKs