From 384a5af794697cd4060d1a80f167fa9a571962b3 Mon Sep 17 00:00:00 2001
From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com>
Date: Tue, 10 Dec 2024 07:58:35 +0100
Subject: [PATCH] refactor: remove file

---
 stdlib/asm/crypto/stark/mod.masm | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 stdlib/asm/crypto/stark/mod.masm

diff --git a/stdlib/asm/crypto/stark/mod.masm b/stdlib/asm/crypto/stark/mod.masm
deleted file mode 100644
index 492f6da59d..0000000000
--- a/stdlib/asm/crypto/stark/mod.masm
+++ /dev/null
@@ -1,26 +0,0 @@
-use.std::crypto::stark::verifier
-
-#!   Verify a STARK proof attesting to the correct execution of a program in the Miden VM.
-#!   The following simplifying assumptions are currently made:
-#!   - The blowup is set to 8.
-#!   - The maximal allowed degree of the remainder polynomial is 7.
-#!   - Only the input and output stacks, assumed of fixed size equal to 16, are handled in regards
-#!   to public inputs.
-#!   - There are two trace segments, main and auxiliary. It is assumed that the main trace segment
-#!   is 73 columns wide while the auxiliary trace segment is 9 columns wide.
-#!   - The OOD evaluation frame is composed of two interleaved rows, current and next, each composed
-#!    of 73 elements representing the main trace portion and 9 elements for the auxiliary trace one.
-#!   - To boost soundness, the protocol is run on a quadratic extension field and this means that
-#!    the OOD evaluation frame is composed of elements in a quadratic extension field i.e. tuples.
-#!    Similarly, elements of the auxiliary trace are quadratic extension field elements.
-#!   - The following procedure makes use of global memory address beyond 3 * 2^30 and these are
-#!    defined in `constants.masm`.
-#!
-#! Input: [log(trace_length), num_queries, log(blowup), grinding]
-#! Output: []
-#! Cycles:
-#!  1- Remainder codeword size 32:
-#!   5000 + num_queries * (40 + num_fri_layers * 76 + 26 + 463) + 83 * num_fri_layers + 10 * log(trace_length) + 1633
-#!  2- Remainder codeword size 64:
-#!   5000 + num_queries * (40 + num_fri_layers * 76 + 26 + 463) + 83 * num_fri_layers + 10 * log(trace_length) + 3109
-export.verifier::verify