Revert "refactor: remove file"

This reverts commit 384a5af.
0xPolygonMiden · Dec 12, 2024 · c63ae0b · c63ae0b
1 parent 51ad3d4
commit c63ae0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stdlib/asm/crypto/stark/mod.masm b/stdlib/asm/crypto/stark/mod.masm
@@ -24,4 +24,4 @@ use.std::crypto::stark::verifier
 #!   5013 + num_queries * (40 + num_fri_layers * 76 + 26 + 445) + 83 * num_fri_layers + 10 * log(trace_length) + 1633
 #!  2- Remainder codeword size 64:
 #!   5013 + num_queries * (40 + num_fri_layers * 76 + 26 + 445) + 83 * num_fri_layers + 10 * log(trace_length) + 3109
-export.verifier::verify
+export.verifier::verify