soroban-sdk: `Fr` scalar field equality comparison bypasses modular reduction
Default status is the baseline for the product, each version can override it (e.g. patched versions marked unaffected).
| Vendor | Product | Default status | Versions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| stellar | rs-soroban-sdk | affected |
|
Configuration 1 [-]
|
No data.
| Vendor | Product | Versions | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Stellar | Rs-soroban-sdk |
|
| Source | ID | Title |
|---|---|---|
Github GHSA |
GHSA-x2hw-px52-wp4m | rs-soroban-sdk: `Fr` scalar field equality comparison bypasses modular reduction |
No CVSS v4.0
No CVSS v3.0
No CVSS v2
This CVE is not in the KEV list.
Exploit prediction score: < 1% (0.307% probability within 30 days)
| Type | Values Removed | Values Added |
|---|---|---|
| CPEs | cpe:2.3:a:stellar:rs-soroban-sdk:*:*:*:*:*:rust:*:* |
| Type | Values Removed | Values Added |
|---|---|---|
| Metrics |
ssvc
|
| Type | Values Removed | Values Added |
|---|---|---|
| First Time appeared |
Stellar
Stellar rs-soroban-sdk |
|
| Vendors & Products |
Stellar
Stellar rs-soroban-sdk |
| Type | Values Removed | Values Added |
|---|---|---|
| Description | soroban-sdk is a Rust SDK for Soroban contracts. Prior to 22.0.11, 23.5.3, and 25.3.0, The Fr (scalar field) types for BN254 and BLS12-381 in soroban-sdk compared values using their raw U256 representation without first reducing modulo the field modulus r. This caused mathematically equal field elements to compare as not-equal when one or both values were unreduced (i.e., >= r). The vulnerability requires an attacker to supply crafted Fr values through contract inputs, and compare them directly without going through host-side arithmetic operations. Smart contracts that rely on Fr equality checks for security-critical logic could produce incorrect results. The impact depends on how the affected contract uses Fr equality comparisons, but can result in incorrect authorization decisions or validation bypasses in contracts that perform equality checks on user-supplied scalar values. This vulnerability is fixed in 22.0.11, 23.5.3, and 25.3.0. | |
| Title | soroban-sdk: `Fr` scalar field equality comparison bypasses modular reduction | |
| Weaknesses | CWE-697 | |
| References |
| |
| Metrics |
cvssV3_1
|