feat: add BLS crypto module (#15)

* feat: setup initial project structure

* feat: update CI to use nightly toolchain for rustfmt

* feat: update CI to use nightly toolchain for rustfmt

* fix: fmt

* refactor: reorganize workspace members and remove charon-types crate

* feat: add core types and dependencies for Charon

* feat: add is_valid method and tests for DutyType

* feat: enhance Charon core types with new methods and error handling for PubKey

* chore: remove unused proptest dependency from workspace

* feat: implement Default trait for UnsignedDataSet, ParSignedDataSet, and SignedDataSet

* refactor: update PubKey methods for improved error handling and add try_from implementation

* docs: clarify slot duration comment and add debug prints for PubKey serialization/deserialization tests

* fix: remove unnecessary println

* feat: add tbls crypto boilerplate

* feat: add initial implementation of tbls

* feat: add tests for the bls implementation

* feat: integrate blsful implementation and refactor tbls module

- Added `thiserror` dependency for improved error handling.
- Introduced `blsful` module for TBLS implementation.
- Refactored `tbls` module to utilize new types and error handling.
- Created `tblsconv` module for type conversions between byte slices and cryptographic types.
- Removed the old `herumi` implementation and replaced it with the new `blsful` based implementation.
- Added utility functions for key and signature conversions.
- Updated types and error definitions for better clarity and consistency.

* style: improve code formatting and documentation in tblsconv module

- Reformatted comments for better readability.
- Adjusted spacing and alignment in error messages for consistency.
- Ensured clarity in documentation regarding expected byte lengths for key and signature conversions.

* chore: clean up Cargo.toml by removing duplicate dependencies and organizing workspace lints

* chore: update Cargo.lock with new dependencies and versions

* chore: fix clippy warnings

* refactor: replace blsful implementation with blst for threshold BLS signatures

- Updated dependencies in Cargo.toml and Cargo.lock to use the blst library.
- Removed blsful module and its associated code, including type conversions and utility functions.
- Introduced a new blst_impl module for the BLST implementation of threshold BLS signatures.
- Refactored tbls module to utilize the new blst implementation.
- Cleaned up error handling and types to align with the new library.
- Added workspace lints and improved documentation throughout the codebase.

* refactor: update lints and improve function signatures in blst implementation

* fix: add more retries in generate_insecure_secret

* fix: review comments, optimize type convertion

* fix: improve error handling for scalar to secret key conversion

* fix: review comments, improve error naming and add zero division check

Author: varex83

Cargo.lock

@@ -31,6 +31,10 @@ hex = { version = "^0.4.3" }
 serde = { version = "1.0", features = ["derive"] }
 serde_json = { version = "^1.0" }
 tokio = { version = "1", features = ["full"] }
+blst = "0.3.13"
+rand_core = "0.6"
+thiserror = "2.0.12"
+rand = {version = "0.8", features = ["std_rng"]}
 
 [workspace.lints.rust]
 missing_docs = "deny"

Cargo.toml

@@ -7,10 +7,10 @@ license.workspace = true
 publish.workspace = true
 
 [dependencies]
-chrono.workspace = true
-hex.workspace = true
 serde.workspace = true
 serde_json.workspace = true
+hex.workspace = true
+chrono.workspace = true
 
 [lints]
 workspace = true

crates/charon-core/Cargo.toml

@@ -7,6 +7,25 @@ license.workspace = true
 publish.workspace = true
 
 [dependencies]
+rand.workspace = true
+blst.workspace = true
+rand_core.workspace = true
+serde.workspace = true
+thiserror.workspace = true
+hex.workspace = true
 
-[lints]
-workspace = true
+[lints.rust]
+# Allow unsafe code for blst C bindings (overrides workspace forbid)
+unsafe_code = "deny"
+missing_docs = "deny"
+
+[lints.clippy]
+arithmetic_side_effects = "deny"
+cast_lossless = "deny"
+cast_possible_truncation = "deny"
+cast_possible_wrap = "deny"
+cast_precision_loss = "deny"
+cast_sign_loss = "deny"
+needless_return = "deny"
+panicking_overflow_checks = "deny"
+unwrap_used = "deny"