winter-verifier (cargo): Winterfell STARK verifier
Keywords: crypto|verifier|zkp|stark