本教程的这一部分将前面几部分的“几个工具”整合在一起，构建一个具体、有用的STARK证明系统。该系统用于产生一个STARK证明，证明Rescue-Prime哈希函数在一个已知输出的秘密输入上的正确求值。该证明具体来说也是有用的，因为产生的非交互式证明同时可以作为一个后量子签名方案。