feat: update bitvm-gc seed size.

crates/bitvm-gc/src/babe_adapter.rs

@@ -25,6 +25,7 @@ pub use verifiable_circuit_babe::cac::{CACSetupPackage, FinalizedInstanceData};
 use verifiable_circuit_babe::dre::N_PADDED;
 use verifiable_circuit_babe::gc::{SGC_PART1_CONSTANT_SIZE, SparseAdaptorTable};
 pub use verifiable_circuit_babe::instance::commit::CACInstanceCommit;
+pub use verifiable_circuit_babe::instance::secret::Seed;
 use verifiable_circuit_babe::prover::BABEProver;
 use verifiable_circuit_babe::soldering::{
     SolderedLabelsData, SolderingData as RealSolderingData, SolderingProof as RealSolderingProof,
@@ -39,7 +40,7 @@ pub const WOTS_SIG_COUNT: usize = Wots96::TOTAL_DIGIT_LEN as usize;
 pub const BABE_N_CC: usize = 181;
 pub const BABE_M_CC: usize = 7;
 
-pub type OpenedInstanceSeeds = Vec<(usize, u64)>;
+pub type OpenedInstanceSeeds = Vec<(usize, Seed)>;
 pub type FinalizedInstances = Vec<FinalizedInstanceData>;
 pub type SetupAndSolderingData = (OpenedInstanceSeeds, FinalizedInstances, SolderingData);
 
@@ -65,7 +66,7 @@ pub struct SolderingData {
 
 #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
 pub struct BabeVerifierPrivateState {
-    pub instance_seeds: Vec<u64>,
+    pub instance_seeds: Vec<Seed>,
     pub statement_digest: [u8; 32],
 }
 
@@ -210,7 +211,7 @@ pub fn open_real_setup_and_solder(
 pub fn verify_real_setup(
     soldering_builder: &BabeBundleBuilder,
     package: &CACSetupPackage,
-    opened: &[(usize, u64)],
+    opened: &[(usize, Seed)],
     finalized: &[FinalizedInstanceData],
     soldering: &SolderingData,
     vk: &Groth16VerifyingKey<Bn254>,
@@ -235,7 +236,7 @@ pub fn verify_real_setup(
 
 /// Removes setup-derived public fields from the Verifier-to-Operator soldering proof payload.
 pub fn compact_soldering_proof_payload(
-    opened: &[(usize, u64)],
+    opened: &[(usize, Seed)],
     finalized: &[FinalizedInstanceData],
     soldering: &SolderingData,
 ) -> Result<CompactSolderingProofPayload> {
@@ -291,7 +292,7 @@ pub fn open_and_solder(
 /// Validates placeholder opened, finalized, and soldering data consistency.
 pub fn verify_setup(
     package: &CACSetupPackage,
-    opened: &[(usize, u64)],
+    opened: &[(usize, Seed)],
     finalized: &[FinalizedInstanceData],
     soldering: &SolderingData,
 ) -> Result<()> {
@@ -623,8 +624,8 @@ fn recover_a_valid_finalized_messages(
     })
 }
 
-fn deterministic_seed(index: usize) -> u64 {
-    u64::from_le_bytes(hash32(&(index as u64).to_le_bytes())[0..8].try_into().expect("8 bytes"))
+fn deterministic_seed(index: usize) -> Seed {
+    hash32(&(index as u64).to_le_bytes())
 }
 
 fn hash20(data: &[u8]) -> [u8; 20] {

crates/bitvm-gc/tests/babe_adapter.rs

@@ -171,11 +171,11 @@ fn verify_setup_accepts_valid_opening_and_rejects_invalid_shapes() {
     assert!(verify_setup(&package, &opened, &duplicate_finalized, &soldering).is_err());
 
     let mut overlapping_opened = opened.clone();
-    overlapping_opened.push((finalized[0].index, 0));
+    overlapping_opened.push((finalized[0].index, [0u8; 32]));
     assert!(verify_setup(&package, &overlapping_opened, &finalized, &soldering).is_err());
 
     let mut wrong_seed_opened = opened.clone();
-    wrong_seed_opened[0].1 ^= 1;
+    wrong_seed_opened[0].1[0] ^= 1;
     assert!(verify_setup(&package, &wrong_seed_opened, &finalized, &soldering).is_err());
 
     let mut mismatched_soldering = soldering.clone();

crates/bitvm-gc/tests/regtest.rs

@@ -12,7 +12,7 @@ use bitcoin::{
 };
 use bitcoin_script::script;
 use bitvm_gc::babe_adapter::{
-    BABE_M_CC, BabeProverState, CACSetupPackage, TxAssertWitness, assert_wots_message,
+    BABE_M_CC, BabeProverState, CACSetupPackage, Seed, TxAssertWitness, assert_wots_message,
     build_assert_witness, build_setup_package, derive_finalized_indices, extract_gc_circuit_data,
     open_and_solder, recover_operator_proof_from_assert_witness, verify_setup,
 };
@@ -82,7 +82,7 @@ static MOCK_FIXTURE: OnceLock<std::result::Result<MockProofGcFixture, String>> =
 struct MockProofGcFixture {
     version: u32,
     setup_package: CACSetupPackage,
-    opened: Vec<(usize, u64)>,
+    opened: Vec<(usize, Seed)>,
     prover_state: BabeProverState,
     gc_data: BitvmGcCircuitData,
     proof_bytes: Vec<u8>,

node/src/utils.rs

@@ -84,8 +84,8 @@ use crate::scheduled_tasks::graph_maintenance_tasks::{
 };
 use bitcoin_light_client_circuit::hash_operator_constant;
 use bitvm_lib::babe_adapter::{
-    BABE_M_CC, BabeVerifierPrivateState, CACSetupPackage, FinalizedInstanceData, SolderingData,
-    compact_soldering_proof_payload,
+    BABE_M_CC, BabeVerifierPrivateState, CACSetupPackage, FinalizedInstanceData, Seed,
+    SolderingData, compact_soldering_proof_payload,
 };
 use bitvm_lib::transactions::base::BaseTransaction;
 use client::goat_chain::{DisproveTxType, GraphData, PeginStatus, WithdrawStatus};
@@ -6107,7 +6107,7 @@ pub(crate) async fn save_soldering_proof_payload(
     instance_id: Uuid,
     graph_id: Uuid,
     candidate_index: usize,
-    opened: &[(usize, u64)],
+    opened: &[(usize, Seed)],
     finalized: &[FinalizedInstanceData],
     soldering: &SolderingData,
 ) -> Result<SolderingProofReady> {