Merge remote-tracking branch 'origin/main' into bohdan/p2p-metrics

Author: varex83

.githooks/pre-push

@@ -1,11 +1,6 @@
-#!/bin/sh
-set -e
+#!/usr/bin/env bash
 
-# Dependency sorting
-if ! cargo sort --workspace --check; then
-    echo "❌ Dependencies should be sorted (run 'cargo sort --workspace')"
-    exit 1
-fi
+set -e
 
 # Dependency audit
 if ! cargo deny check; then
@@ -19,12 +14,6 @@ if ! cargo +nightly fmt --all -- --check; then
     exit 3
 fi
 
-# Typo check
-if ! typos; then
-    echo "❌ Spelling mistakes found (run 'typos --write-changes')"
-    exit 4
-fi
-
 # Linting
 if ! cargo clippy --all-targets --all-features -- -D warnings; then
     echo "❌ Clippy violations (check warnings above)"

CONTRIBUTING.md

@@ -11,9 +11,8 @@ git config commit.gpgsign true
 ## Prerequisites
 
 * [Rust](https://www.rust-lang.org/tools/install)
+* [Protobuf](https://protobuf.dev/installation/)
 * [cargo deny](https://github.com/EmbarkStudios/cargo-deny)
-* [typos](https://github.com/crate-ci/typos?tab=readme-ov-file#install)
-* [cargo sort](https://github.com/DevinR528/cargo-sort)
 
 ## Code quality assurance
 
@@ -49,15 +48,15 @@ Criterion is still recommended for more rigorous statistical analysis, but Divan
 For performance, the profiling cycle is a 3-step process in which you need to first measure the resources consumed by your application, then isolate the most consuming ones, and finally optimize them.
 This cycle repeats until the performance goals are met.
 To carry out this optimization cycle, we recommend the following profiling tools, as they are powerful, general-purpose, and are either written or well integrated with Rust:
-* [Hyperfine](https://crates.io/crates/hyperfine): Provides a simple CLI interface that allows us to benchmark compiled binaries. 
-* [Samply](https://crates.io/crates/samply): Generates a detailed graphic of the different operations and their time in the application. We recommend it over [FlameGraph](https://crates.io/crates/flamegraph) as it allows for filtering, and the webserver viewer provides a better experience than the `.svg` your get from Flamegraph. 
+* [Hyperfine](https://crates.io/crates/hyperfine): Provides a simple CLI interface that allows us to benchmark compiled binaries.
+* [Samply](https://crates.io/crates/samply): Generates a detailed graphic of the different operations and their time in the application. We recommend it over [FlameGraph](https://crates.io/crates/flamegraph) as it allows for filtering, and the webserver viewer provides a better experience than the `.svg` your get from Flamegraph.
 * [Dhat](https://crates.io/crates/dhat): Measures memory allocations within the application.
 
 ### Hyperfine
 
 Once [installed](https://github.com/sharkdp/hyperfine?tab=readme-ov-file#installation), we can simply run:
 ```sh
-hyperfine 'TODO(template) update with your binary e.g. ./target/release/...' 
+hyperfine 'TODO(template) update with your binary e.g. ./target/release/...'
 ```
 ### Samply
 
@@ -84,7 +83,7 @@ Then, we can run:
 ```sh
 samply record 'TODO(template) update with your binary e.g. ./target/release/...'
 ```
-This command will open a browser page that contains a graphic representation of where the time is being spent in our application. 
+This command will open a browser page that contains a graphic representation of where the time is being spent in our application.
 
 ### Dhat
 We can add Dhat as a dependency:
@@ -114,4 +113,4 @@ But these 3 should be enough for the average application to identify bottlenecks
 
 For async-rust we also recommend: [Tracing](https://crates.io/crates/tracing), [Tokio-Console](https://crates.io/crates/tokio-console), and [Oha](https://crates.io/crates/oha).
 For Rayon-based parallel Rust code, we recommend Samply.
-It provides good profiling despite missing some multithreading details.
+It provides good profiling despite missing some multithreading details.

Cargo.lock

@@ -24,25 +24,28 @@ publish = false
 
 [workspace.dependencies]
 axum = "0.8.6"
+blst = "0.3.13"
+cancellation = "0.1.0"
 chrono = { version = "0.4", features = ["serde"] }
+crossbeam = "0.8.4"
 hex = { version = "^0.4.3" }
-serde = { version = "1.0", features = ["derive"] }
-serde_json = { version = "^1.0" }
-tokio = { version = "1", features = ["full"] }
-libp2p = { version = "0.56", features = ["full", "secp256k1"] }
 prost = "0.14"
-prost-types = "0.14"
 prost-build = "0.14"
-blst = "0.3.13"
+prost-types = "0.14"
+rand = { version = "0.8", features = ["std_rng"] }
 rand_core = "0.6"
+serde = { version = "1.0", features = ["derive"] }
+serde_json = { version = "^1.0" }
 thiserror = "2.0.12"
-rand = {version = "0.8", features = ["std_rng"]}
-uuid = {version = "1.16", features = ["serde", "v4"] }
+tokio = { version = "1", features = ["full"] }
+libp2p = { version = "0.56", features = ["full", "secp256k1"] }
+uuid = { version = "1.16", features = ["serde", "v4"] }
 serde_with = { version = "3", features = ["hex", "base64"] }
 base64 = { version = "0.22.1" }
 sha3 = { version = "0.10.8" }
 k256 = { version = "0.13.4", features = ["ecdsa", "sha256"] }
 criterion = "0.7.0"
+tempfile = "3.10.0"
 tracing = "0.1.32"
 tracing-subscriber = { version = "0.3.9", features = ["env-filter"] }
 tracing-loki = "0.2.6"

Cargo.toml

@@ -7,8 +7,19 @@ license.workspace = true
 publish.workspace = true
 
 [dependencies]
+cancellation.workspace = true
+chrono.workspace = true
+crossbeam.workspace = true
+hex.workspace = true
 serde.workspace = true
 serde_json.workspace = true
+thiserror.workspace = true
+libp2p.workspace = true
+prost.workspace = true
+prost-types.workspace = true
+
+[dev-dependencies]
+rand.workspace = true
 libp2p.workspace = true
 prost.workspace = true
 prost-types.workspace = true
@@ -19,4 +30,4 @@ chrono.workspace = true
 charon-build-proto.workspace = true
 
 [lints]
-workspace = true
+workspace = true

crates/charon-core/Cargo.toml

@@ -4,6 +4,7 @@
 //! This crate provides the fundamental building blocks, data structures, and
 //! core algorithms used throughout the Charon system.
 
+pub mod qbft;
 /// Types for the Charon core.
 pub mod types;