soroban-poseidon предоставляет криптографические хеш-функции Poseidon и Poseidon2 для смарт-контрактов Soroban. Poseidon V1 (PoseidonSponge) принимает входные данные переменной длины без инъективного заполнения. Когда вызывающий объект предоставляет меньше входных данных, чем скорость губки (inputs.len() < T - 1), неиспользуемые позиции скорости неявно заполняются нулями.
Это допускает тривиальные коллизии хэшей: для любого входного вектора [m1, ..., mk], хешированного губкой со скоростью > k, hash([m1, ..., mk]) равен hash([m1, ..., mk, 0]), поскольку оба создают идентичные состояния перед перестановкой. Это влияет на любое использование PoseidonSponge илиposeidon_hash, где количество входных данных меньше T - 1 (например, хеширование 1 входного сигнала с T=3). Poseidon2 (Poseidon2Sponge) не затрагивается.
Показать оригинальное описание (EN)
soroban-poseidon provides Poseidon and Poseidon2 cryptographic hash functions for Soroban smart contracts. Poseidon V1 (PoseidonSponge) accepts variable-length inputs without injective padding. When a caller provides fewer inputs than the sponge rate (inputs.len() < T - 1), unused rate positions are implicitly zero-filled. This allows trivial hash collisions: for any input vector [m1, ..., mk] hashed with a sponge of rate > k, hash([m1, ..., mk]) equals hash([m1, ..., mk, 0]) because both produce identical pre-permutation states. This affects any use of PoseidonSponge or poseidon_hash where the number of inputs is less than T - 1 (e.g., hashing 1 input with T=3). Poseidon2 (Poseidon2Sponge) is not affected.
Характеристики атаки
Последствия
Строка CVSS v4.0