feat: Checkpoint-light-client program

Cargo.toml

@@ -8,6 +8,7 @@ members = [
     "circuits/*",
     "ethereum-common",
     "gear-programs/*",
+    "gear-programs/checkpoint-light-client/io",
 ]
 
 resolver = "2"
@@ -30,6 +31,7 @@ ethereum-common = { path = "ethereum-common", default-features = false }
 grc20_gateway = { path = "gear-programs/grc20-gateway" }
 bridging_payment = { path = "gear-programs/bridging-payment" }
 gear_proof_storage = { path = "gear-programs/proof-storage" }
+checkpoint_light_client-io = { path = "gear-programs/checkpoint-light-client/io", default-features = false }
 
 plonky2 = { git = "https://github.com/gear-tech/plonky2.git", rev = "4a620f4d79efe9233d0e7682df5a2fc625b5420e" }
 plonky2_field = { git = "https://github.com/gear-tech/plonky2.git", rev = "4a620f4d79efe9233d0e7682df5a2fc625b5420e" }
@@ -41,11 +43,17 @@ curve25519-dalek = { git = "https://github.com/gear-tech/curve25519-dalek" }
 
 ahash = "0.7.8"
 anyhow = "1.0.86"
+ark-bls12-381 = { version = "0.4.0", default-features = false }
+ark-serialize = { version = "0.4", default-features = false }
+ark-ec = { version = "0.4.2", default-features = false }
+ark-ff = { version = "0.4.2", default-features = false }
+ark-scale = { version = "0.0.12", default-features = false }
 axum = "0.7.5"
 bitvec = { version = "1.0.1", default-features = false, features = ["alloc"] }
 blake2 = "0.10.6"
 bytes = "1.6.0"
 clap = { version = "4.4.13", features = ["derive", "env"] }
+circular-buffer = { version = "0.1.7", default-features = false, features = ["alloc"] }
 derive_more = "0.99.17"
 dotenv = "0.15.0"
 env_logger = "0.9.0"
@@ -72,8 +80,9 @@ rand = { version = "0.8.5", default-features = false, features = ["getrandom"] }
 rand_chacha = "0.3.1"
 rayon = "1.5.3"
 reqwest = "0.11.24"
-scale-info = { version = "2.10", default-features = false }
-serde = { version = "1.0", features = ["alloc", "derive"] }
+ring = { git = "https://github.com/gear-tech/ring.git", branch = "gear-v0.17.8", default-features = false, features = ["alloc"] }
+scale-info = { version = "2.10", default-features = false, features = ["derive"] }
+serde = { version = "1.0", default-features = false, features = ["alloc", "derive"] }
 serde_json = "1.0"
 sha2 = "0.10"
 static_assertions = "1.1.0"
@@ -85,18 +94,20 @@ unroll = "0.1.5"
 
 # Gear/Substrate deps
 gstd = { version = "1.4.1", features = ["nightly"] }
+gmeta = "1.4.1"
 gear-wasm-builder = { version = "1.4.1", default-features = false }
 gsdk = { git = "https://github.com/gear-tech/gear.git", branch = "dn-pallet-gear-eth-bridge" }
 gclient = { git = "https://github.com/gear-tech/gear.git", branch = "dn-pallet-gear-eth-bridge" }
 gear-core = { git = "https://github.com/gear-tech/gear.git", branch = "dn-pallet-gear-eth-bridge" }
+gbuiltin-bls381 = { git = "https://github.com/gear-tech/gear.git", branch = "dn-pallet-gear-eth-bridge" }
 pallet-gear-eth-bridge-rpc-runtime-api = { git = "https://github.com/gear-tech/gear.git", branch = "dn-pallet-gear-eth-bridge", default-features = false, features = [
     "std",
 ] }
 subxt = "0.32.1"
 sc-consensus-grandpa = { version = "0.10.0-dev", git = "https://github.com/gear-tech/polkadot-sdk.git", branch = "gear-v1.3.0", default-features = false }
 sp-runtime = { version = "24.0.0", git = "https://github.com/gear-tech/polkadot-sdk.git", branch = "gear-v1.3.0", default-features = false }
 sp-consensus-grandpa = { version = "4.0.0-dev", git = "https://github.com/gear-tech/polkadot-sdk.git", branch = "gear-v1.3.0", default-features = false }
-parity-scale-codec = { version = "3.6.4", default-features = false }
+parity-scale-codec = { version = "3.6.4", default-features = false, features = ["derive"] }
 trie-db = { version = "0.28.0", default-features = false }
 sp-trie = { version = "22.0.0", git = "https://github.com/gear-tech/polkadot-sdk.git", branch = "gear-v1.3.0", default-features = false }
 sp-core = { version = "21.0.0", git = "https://github.com/gear-tech/polkadot-sdk.git", branch = "gear-v1.3.0", default-features = false }

ethereum-common/Cargo.toml

@@ -5,17 +5,19 @@ edition.workspace = true
 description = "Various entities used in Ethereum ecosystem"
 
 [dependencies]
-parity-scale-codec = { workspace = true, features = ["derive"] }
+parity-scale-codec = { workspace = true, features = ["bit-vec"] }
 serde.workspace = true
 tree_hash.workspace = true
 tree_hash_derive.workspace = true
-hex.workspace = true
+hex = { workspace = true, features = ["alloc"] }
 ethereum-types.workspace = true
 derive_more.workspace = true
 bitvec.workspace = true
+scale-info = { workspace = true, features = ["bit-vec"] }
+hex-literal.workspace = true
+ring.workspace = true
 
 [dev-dependencies]
-hex-literal.workspace = true
 serde_json.workspace = true
 
 [features]
@@ -24,6 +26,9 @@ std = [
     "parity-scale-codec/std",
     "serde/std",
     "tree_hash/std",
+    "hex/std",
     "ethereum-types/std",
     "bitvec/std",
+    "scale-info/std",
+    "ring/std",
 ]

ethereum-common/src/base_types/bits.rs

@@ -18,7 +18,7 @@ type Inner = BitVec<u8, Lsb0>;
 /// A homogenous collection of a fixed number of boolean values.
 ///
 /// NOTE: a `Vector` of length `0` is illegal.
-#[derive(PartialEq, Eq, Clone)]
+#[derive(PartialEq, Eq, Clone, Decode, Encode, TypeInfo)]
 pub struct Vector<const N: usize>(Inner);
 
 impl<'de, const N: usize> Deserialize<'de> for Vector<N> {
@@ -174,49 +174,13 @@ impl<const N: usize> TreeHash for Vector<N> {
     }
 }
 
-impl<const N: usize> Decode for Vector<N> {
-    fn decode<I: parity_scale_codec::Input>(
-        input: &mut I,
-    ) -> Result<Self, parity_scale_codec::Error> {
-        let bytes = <Vec<u8> as Decode>::decode(input)?;
-
-        Ok(Self(BitVec::try_from_vec(bytes).map_err(|_| {
-            parity_scale_codec::Error::from(
-                "Failed to construct Vector<N>: source Vec<u8> is too long",
-            )
-        })?))
-    }
-}
-
-impl<const N: usize> Encode for Vector<N> {
-    fn encode(&self) -> Vec<u8> {
-        self.as_raw_slice().encode()
-    }
-
-    fn encode_to<W: parity_scale_codec::Output + ?Sized>(&self, dest: &mut W) {
-        self.as_raw_slice().encode_to(dest)
-    }
-
-    fn encoded_size(&self) -> usize {
-        self.as_raw_slice().encoded_size()
-    }
-
-    fn size_hint(&self) -> usize {
-        self.as_raw_slice().size_hint()
-    }
-
-    fn using_encoded<R, F: FnOnce(&[u8]) -> R>(&self, f: F) -> R {
-        self.as_raw_slice().using_encoded(f)
-    }
-}
-
 // +1 for length bit
 fn bitlist_byte_length(bound: usize) -> usize {
     (bound + BITS_PER_BYTE - 1 + 1) / BITS_PER_BYTE
 }
 
 /// A homogenous collection of a variable number of boolean values.
-#[derive(PartialEq, Eq, Clone)]
+#[derive(PartialEq, Eq, Clone, Decode, Encode, TypeInfo)]
 pub struct List<const N: usize>(Inner);
 
 impl<'de, const N: usize> Deserialize<'de> for List<N> {
@@ -270,25 +234,6 @@ impl<const N: usize> List<N> {
             old
         })
     }
-
-    fn serialize_with_length(&self, buffer: &mut Vec<u8>, with_length_bit: bool) -> usize {
-        let start_len = buffer.len();
-        buffer.extend_from_slice(self.as_raw_slice());
-
-        if with_length_bit {
-            let element_count = self.len();
-            let marker_index = element_count % BITS_PER_BYTE;
-            if marker_index == 0 {
-                buffer.push(1u8);
-            } else {
-                let last = buffer.last_mut().expect("bitlist cannot be empty");
-                *last |= 1u8 << marker_index;
-            }
-        }
-
-        // SAFETY: checked subtraction is unnecessary, as buffer.len() > start_len; qed
-        buffer.len() - start_len
-    }
 }
 
 impl<const N: usize> Deref for List<N> {
@@ -386,54 +331,3 @@ impl<const N: usize> TreeHash for List<N> {
         tree_hash::mix_in_length(&root, self.len())
     }
 }
-
-impl<const N: usize> Decode for List<N> {
-    fn decode<I: parity_scale_codec::Input>(
-        input: &mut I,
-    ) -> Result<Self, parity_scale_codec::Error> {
-        let bytes = <Vec<u8> as Decode>::decode(input)?;
-
-        Self::try_from(&bytes[..]).map_err(|_| {
-            parity_scale_codec::Error::from(
-                "Failed to construct Vector<N>: source Vec<u8> is too long",
-            )
-        })
-    }
-}
-
-impl<const N: usize> Encode for List<N> {
-    fn encode(&self) -> Vec<u8> {
-        let mut buffer = vec![];
-        self.serialize_with_length(&mut buffer, true);
-
-        buffer.encode()
-    }
-
-    fn encode_to<W: parity_scale_codec::Output + ?Sized>(&self, dest: &mut W) {
-        let mut buffer = vec![];
-        self.serialize_with_length(&mut buffer, true);
-
-        buffer.encode_to(dest)
-    }
-
-    fn encoded_size(&self) -> usize {
-        let mut buffer = vec![];
-        self.serialize_with_length(&mut buffer, true);
-
-        buffer.encoded_size()
-    }
-
-    fn size_hint(&self) -> usize {
-        let mut buffer = vec![];
-        self.serialize_with_length(&mut buffer, true);
-
-        buffer.size_hint()
-    }
-
-    fn using_encoded<R, F: FnOnce(&[u8]) -> R>(&self, f: F) -> R {
-        let mut buffer = vec![];
-        self.serialize_with_length(&mut buffer, true);
-
-        buffer.using_encoded(f)
-    }
-}

ethereum-common/src/base_types/byte_list.rs

@@ -1,6 +1,6 @@
 use super::*;
 
-#[derive(Debug, Clone, Decode, Encode)]
+#[derive(Debug, Clone, Decode, Encode, TypeInfo)]
 pub struct ByteList<const N: usize>(pub List<u8, N>);
 
 impl<const N: usize> TryFrom<&[u8]> for ByteList<N> {

ethereum-common/src/base_types/bytes_fixed.rs

@@ -1,6 +1,6 @@
 use super::*;
 
-#[derive(Clone, Debug, Decode, Encode)]
+#[derive(Clone, Debug, Decode, Encode, TypeInfo)]
 pub struct BytesFixed<const N: usize>(pub FixedArray<u8, N>);
 
 impl<const N: usize> AsRef<[u8]> for BytesFixed<N> {

ethereum-common/src/base_types/fixed_array.rs

@@ -1,6 +1,7 @@
 use super::*;
 
-#[derive(Clone)]
+#[derive(Clone, TypeInfo)]
+#[scale_info(bounds(T: TypeInfo))]
 pub struct FixedArray<T, const N: usize>(pub [T; N]);
 
 impl<T: Debug, const N: usize> fmt::Debug for FixedArray<T, N> {

ethereum-common/src/base_types/list.rs

@@ -1,7 +1,8 @@
 use super::*;
 
 /// A homogenous collection of a variable number of values.
-#[derive(Clone)]
+#[derive(Clone, TypeInfo)]
+#[scale_info(bounds(T: TypeInfo))]
 pub struct List<T, const N: usize> {
     data: Vec<T>,
 }

ethereum-common/src/beacon/block_header.rs

@@ -1,6 +1,6 @@
 use super::*;
 
-#[derive(Debug, Clone, tree_hash_derive::TreeHash, Decode, Encode, Deserialize)]
+#[derive(Debug, Clone, tree_hash_derive::TreeHash, Decode, Encode, Deserialize, TypeInfo)]
 pub struct BlockHeader {
     #[serde(deserialize_with = "utils::deserialize_u64")]
     pub slot: u64,

ethereum-common/src/beacon/common.rs

@@ -122,8 +122,14 @@ pub struct BlsToExecutionChange {
     pub to_execution_address: Address,
 }
 
-#[derive(Debug, Clone, Decode, Encode, Deserialize, tree_hash_derive::TreeHash)]
+#[derive(Debug, Clone, Decode, Encode, Deserialize, tree_hash_derive::TreeHash, TypeInfo)]
 pub struct SyncAggregate {
     pub sync_committee_bits: base_types::Bitvector<512>,
     pub sync_committee_signature: SignatureBytes,
 }
+
+#[derive(Debug, Clone, Decode, Encode, Deserialize, tree_hash_derive::TreeHash, TypeInfo)]
+pub struct SyncCommittee {
+    pub pubkeys: base_types::FixedArray<BLSPubKey, SYNC_COMMITTEE_SIZE>,
+    pub aggregate_pubkey: BLSPubKey,
+}

ethereum-common/src/lib.rs

@@ -2,6 +2,8 @@
 
 pub mod base_types;
 pub mod beacon;
+pub mod merkle;
+pub mod network;
 pub mod utils;
 
 #[cfg(not(feature = "std"))]
@@ -19,6 +21,11 @@ use core::{
 
 pub use ethereum_types::U256;
 use parity_scale_codec::{Decode, Encode};
+use scale_info::TypeInfo;
 use serde::{de, Deserialize};
 pub use tree_hash::{self, Hash256};
 use tree_hash::{TreeHash, TreeHashType};
+
+pub const SLOTS_PER_EPOCH: u64 = 32;
+pub const EPOCHS_PER_SYNC_COMMITTEE: u64 = 256;
+pub const SYNC_COMMITTEE_SIZE: usize = 512;