From 79eccd9b48eeba7c046d46222fc38f5fc91290b7 Mon Sep 17 00:00:00 2001 From: zkHunter Date: Thu, 3 Apr 2025 13:47:00 +0300 Subject: [PATCH 01/26] Remove `Chuncker` in `README.md` (#276) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index aed59b78..da35154a 100644 --- a/README.md +++ b/README.md @@ -49,7 +49,7 @@ Below is a list of the components and their purpose. Groth16 uses BN254 to verify proof, the script is currently around 1 GB. Some hints are precomputed in this part, which is related to the paper "On Proving Pairings". -- [**Chunker**](bitvm/src/chunker/): +- [**Chunk**](bitvm/src/chunk/): Splits Groth16 into chunks. These chunks make sure two principles: From 8d06b4287d679a55895fc7e75415eaa464c99959 Mon Sep 17 00:00:00 2001 From: manishbista28 <66529584+manishbista28@users.noreply.github.com> Date: Tue, 15 Apr 2025 22:27:19 +0545 Subject: [PATCH 02/26] perf(chunk): replace Script with ScriptBuf in batch operations (#280) --- bitvm/src/chunk/api.rs | 84 +++++++++++------------- bitvm/src/chunk/api_compiletime_utils.rs | 38 +++++------ bitvm/src/chunk/api_runtime_utils.rs | 23 ++++--- bitvm/src/chunk/g16_runner_core.rs | 10 +-- bitvm/src/chunk/g16_runner_utils.rs | 32 ++++----- bridge/src/connectors/connector_c.rs | 12 +--- 6 files changed, 93 insertions(+), 106 deletions(-) diff --git a/bitvm/src/chunk/api.rs b/bitvm/src/chunk/api.rs index e830f777..1edd87e2 100644 --- a/bitvm/src/chunk/api.rs +++ b/bitvm/src/chunk/api.rs @@ -11,6 +11,7 @@ use crate::signatures::wots_api::{wots256, wots_hash}; use crate::treepp::*; use ark_bn254::Bn254; use ark_ec::bn::Bn; +use bitcoin::ScriptBuf; use super::api_runtime_utils::{ execute_script_from_assertion, get_pubkeys, get_signature_from_assertion, @@ -175,7 +176,7 @@ pub mod type_conversion_utils { // Step 1 // The function takes public parameters (here verifying key) and generates partial script // partial script is essentially disprove script minus the bitcommitment locking script -pub fn api_generate_partial_script(vk: &ark_groth16::VerifyingKey) -> Vec