CVE-2025-69277 libsodium crypto_core_ed25519_is_valid_point椭圆曲线点验证缺陷

# CVE-2025-69277 PoC - libsodium crypto_core_ed25519_is_valid_point bypass # This PoC demonstrates the validation issue with invalid curve points from nacl.bindings import crypto_core_ed25519_is_valid_point import nacl.exceptions def test_point_validation(): """ Test cases for Ed25519 point validation vulnerability. The vulnerable version may incorrectly accept points not in the main group. """ # Valid point (generator point in compressed format) # This should always be accepted valid_point = bytes.fromhex( '5866666666666666666666666666666666666666666666666666666666666666c0' ) # Small order point example (may be incorrectly accepted in vulnerable version) # This is a point with small order, not in the main cryptographic group small_order_point = bytes.fromhex( '0000000000000000000000000000000000000000000000000000000000000000' ) print("Testing libsodium crypto_core_ed25519_is_valid_point...") # Test 1: Valid point should be accepted try: result1 = crypto_core_ed25519_is_valid_point(valid_point) print(f"Valid point test: {'PASS' if result1 else 'FAIL'}") except Exception as e: print(f"Valid point test: ERROR - {e}") # Test 2: Zero point (neutral element) - should be rejected try: result2 = crypto_core_ed25519_is_valid_point(small_order_point) if result2: print("WARNING: Zero point incorrectly accepted (vulnerable behavior)") else: print("Zero point test: CORRECTLY REJECTED") except nacl.exceptions.CryptoError: print("Zero point test: CORRECTLY REJECTED (exception thrown)") except Exception as e: print(f"Zero point test: ERROR - {e}") if __name__ == "__main__": test_point_validation()