benchmarks

.cargo/config.toml

@@ -0,0 +1,2 @@
+[registries]
+gear-registry = { index = "sparse+http://3.75.247.246:50000/index/" }

node/service/src/client.rs

@@ -57,6 +57,7 @@ impl sc_executor::NativeExecutionDispatch for VaraExecutorDispatch {
         gear_ri::sandbox::HostFunctions,
         sp_crypto_ec_utils::bls12_381::host_calls::HostFunctions,
         gear_ri::specific_plonky_2::HostFunctions,
+        gear_ri::gear_debug::HostFunctions,
     );
     /// Otherwise we only use the default Substrate host functions.
     #[cfg(not(feature = "runtime-benchmarks"))]

pallets/gear/Cargo.toml

@@ -65,6 +65,7 @@ demo-constructor = { workspace = true, optional = true }
 demo-waiter = { workspace = true, optional = true }
 demo-init-wait = { workspace = true, optional = true }
 demo-signal-entry = { workspace = true, optional = true }
+plonky2-benchmarks-data = { version = "0.1.0", optional = true, registry = "gear-registry" }
 
 # Some of tests require `debug` feature enabled
 [dev-dependencies]
@@ -195,6 +196,7 @@ runtime-benchmarks = [
 	"demo-init-wait/wasm-wrapper",
 	"demo-signal-entry/wasm-wrapper",
 	"core-processor/mock",
+	"plonky2-benchmarks-data",
 ]
 runtime-benchmarks-checkers = []
 try-runtime = ["frame-support/try-runtime"]

pallets/gear/src/benchmarking/mod.rs

@@ -2612,6 +2612,28 @@ benchmarks! {
         ext_manager.remove_from_mailbox(user.cast(), message_id);
     }
 
+    plonky2_verify {
+        let i in 1..100;
+        let n in 10..28;
+
+        let proof_of_work_bits = 16;
+
+        let file_name = ::alloc::format!("{}{i}_{n}_{proof_of_work_bits}_common_curcuit_data", plonky2_benchmarks_data::get_path());
+        let common_curcuit_data = gear_runtime_interface::gear_debug::file_read(&file_name);
+
+        let file_name = ::alloc::format!("{}{i}_{n}_{proof_of_work_bits}_verifier_only_data", plonky2_benchmarks_data::get_path());
+        let verifier_only_data = gear_runtime_interface::gear_debug::file_read(&file_name);
+
+        let file_name = ::alloc::format!("{}{i}_{n}_{proof_of_work_bits}_proof", plonky2_benchmarks_data::get_path());
+        let proof = gear_runtime_interface::gear_debug::file_read(&file_name);
+        let mut _result = 0u32;
+    } : {
+        _result = gear_runtime_interface::specific_plonky_2::verify(common_curcuit_data, verifier_only_data, proof);
+    }
+    verify {
+        assert_eq!(_result, u32::from(gear_runtime_interface::Plonky2VerifyResult::Verified));
+    }
+
     // This is no benchmark. It merely exist to have an easy way to pretty print the currently
     // configured `Schedule` during benchmark development.
     // It can be outputted using the following command:

runtime-interface/src/lib.rs

@@ -309,6 +309,7 @@ pub enum Plonky2VerifyResult {
     FailedToDecodeCommonData,
     FailedToDecodeVerifierData,
     FailedToDecodeProof,
+    ConfigNotSupported,
 }
 
 impl From<Plonky2VerifyResult> for u32 {
@@ -344,6 +345,12 @@ pub trait SpecificPlonky2 {
             return Plonky2VerifyResult::FailedToDecodeCommonData.into();
         };
 
+        if common.config.fri_config.rate_bits != 3
+            || common.config.fri_config.proof_of_work_bits != 16
+        {
+            return Plonky2VerifyResult::ConfigNotSupported.into();
+        }
+
         let Ok(verifier_only) = VerifierOnlyCircuitData::from_bytes(verifier_circuit_data) else {
             return Plonky2VerifyResult::FailedToDecodeVerifierData.into();
         };