Move custom Goldilocks field implementation into the verifier contract

examples/plonky2-verifier/Cargo.toml

@@ -8,9 +8,12 @@ homepage.workspace = true
 repository.workspace = true
 
 [dependencies]
+gcore = { workspace = true, features = ["codec"] }
 gstd.workspace = true
+num = { workspace = true, features = ["alloc"] }
 plonky2.workspace = true
 plonky2_field.workspace = true
+serde = { workspace = true, features = ["derive", "alloc"] }
 
 [build-dependencies]
 gear-wasm-builder.workspace = true

examples/plonky2-verifier/build.rs

@@ -16,6 +16,14 @@
 // You should have received a copy of the GNU General Public License
 // along with this program. If not, see <https://www.gnu.org/licenses/>.
 
+use gear_wasm_builder::WasmBuilder;
+
 fn main() {
-    gear_wasm_builder::build();
+    // We are forcing recommended nightly toolchain due to the need to compile this
+    // program with `oom-handler` feature. The WASM binary of this program is then
+    // used by the `oom_handler_works` pallet test.
+    WasmBuilder::new()
+        .exclude_features(vec!["std"])
+        .with_forced_recommended_toolchain() // NOTE: Don't use this in production programs!
+        .build();
 }

examples/plonky2-verifier/src/circuit.rs

@@ -18,7 +18,7 @@
 
 //! Circuit config for a custom `Goldilocks` field implementation from `gstd`.
 
-use gstd::primitives::goldilocks_field::GoldilocksFieldWrapper;
+use super::goldilocks_field::GoldilocksFieldWrapper;
 use plonky2::{hash::poseidon::PoseidonHash, plonk::config::GenericConfig};
 use plonky2_field::extension::quadratic::QuadraticExtension;