Investigate using blake2s logic from types-rs repo #2159

Activity

1. gabrielbosio

   changed the title [-]Use blake2s logic from `types-rs` repo[/-] [+]Investigate using blake2s logic from `types-rs` repo[/+] on Aug 11, 2025
2. JulianGCalderon commented on Aug 13, 2025

   

   JulianGCalderon

   on Aug 13, 2025

   Last edited by JulianGCalderon

   Contributor

   More actions

   The current types-rs API does not work for our use case. Currently, it exposes:

   pub fn blake2s_to_felt(data: &[u8]) -> Felt;

   It hashes all the data at once, which is not what we need.

   From the Cairo VM (and also in Cairo Native), we need a much low-level API for Blake2. We would need something like this:

   pub fn blake2s_compress(
       state: &[u32; 8],
       message: &[u32; 16],
       t0: u32,
       t1: u32, // optional? always zero.
       f0: u32,
       f1: u32, // optional? always zero.
   ) -> [u32; 8];

   As this API requires the user to know the initial state, we also also need a way to obtain either the IV, or the initial state.

   pub fn get_initial_state() -> [u32; 8]; // or
   pub fn get_iv() -> [u32; 8];

   The Rust crate blake2 does not expose this functionality, so we would need to implement it manually. See blake2s_hash.rs.

   In addition to the mentioned functions, the following utilities would come in handy:

   pub fn encode_u128s_to_u32s_le(numbers: &[u128]) -> Vec<u32>;
   pub fn encode_u128s_to_u32s_be(numbers: &[u128]) -> Vec<u32>;

   The following utilities are already implemented, and can be used:

   pub fn encode_felts_to_u32s(felts: &[Felt]) -> Vec<u32>;
   pub fn pack_256_le_to_felt(bytes: &[u8]) -> Felt;
3. igaray

   added this to Starkneton Aug 27, 2025
4. igaray

   added

   refactorCode chanegs aimed at improving maintainability or removing deprecated features.Code chanegs aimed at improving maintainability or removing deprecated features.

   researchOpen questions requiring either research or requirements gatheringOpen questions requiring either research or requirements gathering

   on Aug 28, 2025
5. igaray

   moved this to Backlog in Starkneton Aug 28, 2025
6. igaray

   added

   check-outdatedSome research needed to verify the issue is not stale or should be closed.Some research needed to verify the issue is not stale or should be closed.

   on Aug 28, 2025
7. igaray

   moved this from Backlog to Todo in Starkneton Aug 28, 2025
8. JulianGCalderon

   removed

   check-outdatedSome research needed to verify the issue is not stale or should be closed.Some research needed to verify the issue is not stale or should be closed.

   on Sep 1, 2025
9. gabrielbosio

   assigned

   DiegoCivi

   on Sep 15, 2025
10. gabrielbosio

    moved this from Todo to In Progress in Starkneton Sep 15, 2025
11. gabrielbosio

    unassigned

    DiegoCivi

    on Sep 16, 2025
12. gabrielbosio commented on Sep 16, 2025

    

    gabrielbosio

    on Sep 16, 2025

    ContributorAuthor

    More actions

    Moving blake2s logic from the VM to types-rs implies removing the blake2s_compress function which is public and not intended to be removed in the next releases.
13. gabrielbosio

    closed this as completedon Sep 16, 2025
14. github-project-automation

    moved this from In Progress to Done in Starkneton Sep 16, 2025
15. JulianGCalderon

    reopened this on Sep 30, 2025