feat: add core/types

Cargo.toml

@@ -28,6 +28,12 @@ publish = false
 missing_docs = "deny"
 unsafe_code = "forbid"
 
+[workspace.dependencies]
+serde = { version = "1.0", features = ["derive"] }
+serde_json = { version = "^1.0" }
+hex = { version = "^0.4.3" }
+chrono = { version = "0.4", features = ["serde"] }
+
 [workspace.lints.clippy]
 arithmetic_side_effects = "deny"
 cast_lossless = "deny"

crates/charon-core/Cargo.toml

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

crates/charon-core/src/lib.rs

@@ -4,36 +4,5 @@
 //! This crate provides the fundamental building blocks, data structures, and
 //! core algorithms used throughout the Charon system.
 
-/// Adds two numbers together.
-///
-/// # Arguments
-///
-/// * `left` - The first number to add
-/// * `right` - The second number to add
-///
-/// # Returns
-///
-/// The sum of the two numbers
-///
-/// # Examples
-///
-/// ```
-/// use charon_core::add;
-///
-/// let result = add(2, 2);
-/// assert_eq!(result, 4);
-/// ```
-pub fn add(left: u64, right: u64) -> u64 {
-    left.wrapping_add(right)
-}
-
-#[cfg(test)]
-mod tests {
-    use super::*;
-
-    #[test]
-    fn it_works() {
-        let result = add(2, 2);
-        assert_eq!(result, 4);
-    }
-}
+/// Types for the Charon core.
+pub mod types;