Migrate from hash-sig to leanSig repository (#19)

Cargo.toml

@@ -9,8 +9,8 @@ name = "hashsig"
 path = "src/main.rs"
 
 [dependencies]
-# Hash-sig library (from GitHub repository)
-hashsig = { git = "https://github.com/b-wagn/hash-sig.git" }
+# LeanSig library (from GitHub repository, pinned to commit)
+leansig = { git = "https://github.com/leanEthereum/leanSig.git", rev = "3f1117fb41fbe77d7e6bc5501ca7a1b5741ce672" }
 
 # CLI framework
 clap = { version = "4.5", features = ["derive"] }

README.md

@@ -1,15 +1,15 @@
 # Hash-Sig CLI
 
-A command-line interface for the [hash-sig](https://github.com/b-wagn/hash-sig) library - a prototype implementation of hash-based signatures for post-quantum cryptography.
+A command-line interface for the [leanSig](https://github.com/leanEthereum/leanSig) library - a prototype implementation of hash-based signatures for post-quantum cryptography.
 
 ## Overview
 
-This CLI tool provides a user-friendly interface to work with hash-based signatures, keeping the main `hash-sig` repository focused on cryptography while providing practical tooling in a separate codebase.
+This CLI tool provides a user-friendly interface to work with hash-based signatures, keeping the main `leanSig` repository focused on cryptography while providing practical tooling in a separate codebase.
 
 ## Prerequisites
 
 - Rust >= 1.87
-- Internet connection (to fetch the `hash-sig` dependency from GitHub)
+- Internet connection (to fetch the `leanSig` dependency from GitHub)
 
 ## Installation
 
@@ -56,14 +56,14 @@ Currently uses the `SIGTopLevelTargetSumLifetime32Dim64Base8` scheme:
 
 ## References
 
-- [Hash-Sig Repository](https://github.com/b-wagn/hash-sig)
+- [LeanSig Repository](https://github.com/leanEthereum/leanSig)
 - [Research Paper](https://eprint.iacr.org/2025/055.pdf)
 
 ## License
 
-Apache Version 2.0 (same as hash-sig)
+Apache Version 2.0 (same as leanSig)
 
 ## Contributing
 
-This is a separate codebase from the main `hash-sig` library to keep the cryptography-focused repository minimal and focused. Feel free to contribute CLI enhancements here.
+This is a separate codebase from the main `leanSig` library to keep the cryptography-focused repository minimal and focused. Feel free to contribute CLI enhancements here.
 

src/main.rs

@@ -3,7 +3,7 @@ use std::io::Write;
 use std::path::PathBuf;
 
 use clap::{Parser, Subcommand};
-use hashsig::signature::{
+use leansig::signature::{
     generalized_xmss::instantiations_poseidon_top_level::lifetime_2_to_the_32::hashing_optimized::SIGTopLevelTargetSumLifetime32Dim64Base8,
     SignatureScheme,
 };