diff --git a/sdk/flutter/example/compiler_example.dart b/sdk/flutter/example/compiler_example.dart
index 27ac7d6..65b3b93 100644
--- a/sdk/flutter/example/compiler_example.dart
+++ b/sdk/flutter/example/compiler_example.dart
@@ -5,6 +5,7 @@
 /// - ABI extraction and encoding
 /// - Contract analysis and security scanning
 /// - Validation and verification
+library;
 
 import 'dart:io';
 import 'dart:typed_data';
diff --git a/sdk/flutter/example/crypto_example.dart b/sdk/flutter/example/crypto_example.dart
index aa00acc..7084621 100644
--- a/sdk/flutter/example/crypto_example.dart
+++ b/sdk/flutter/example/crypto_example.dart
@@ -5,6 +5,7 @@
 /// - BIP-39 mnemonic generation and validation
 /// - Post-quantum algorithms (Falcon, SPHINCS+)
 /// - Key derivation functions
+library;
 
 import 'dart:io';
 import 'package:synor_crypto/synor_crypto.dart';
diff --git a/sdk/flutter/example/dex_example.dart b/sdk/flutter/example/dex_example.dart
index 1ad6b97..e636531 100644
--- a/sdk/flutter/example/dex_example.dart
+++ b/sdk/flutter/example/dex_example.dart
@@ -6,6 +6,7 @@
 /// - Liquidity provision (AMM pools)
 /// - Order book management
 /// - Portfolio tracking
+library;
 
 import 'dart:io';
 import 'dart:math';
diff --git a/sdk/flutter/example/ibc_example.dart b/sdk/flutter/example/ibc_example.dart
index 4ddf0ae..a6c256d 100644
--- a/sdk/flutter/example/ibc_example.dart
+++ b/sdk/flutter/example/ibc_example.dart
@@ -5,6 +5,7 @@
 /// - Channel management
 /// - Packet handling
 /// - Relayer operations
+library;
 
 import 'dart:io';
 import 'package:synor_ibc/synor_ibc.dart';
diff --git a/sdk/flutter/example/zk_example.dart b/sdk/flutter/example/zk_example.dart
index f6653c6..c9650a3 100644
--- a/sdk/flutter/example/zk_example.dart
+++ b/sdk/flutter/example/zk_example.dart
@@ -6,6 +6,7 @@
 /// - Groth16, PLONK, and STARK proving systems
 /// - Recursive proofs
 /// - On-chain verification
+library;
 
 import 'dart:io';
 import 'package:synor_zk/synor_zk.dart';
diff --git a/sdk/flutter/lib/src/dex/types.dart b/sdk/flutter/lib/src/dex/types.dart
index 524e127..79d4a84 100644
--- a/sdk/flutter/lib/src/dex/types.dart
+++ b/sdk/flutter/lib/src/dex/types.dart
@@ -1,4 +1,5 @@
 /// Synor DEX SDK Types for Flutter/Dart
+library;
 
 /// Pool type
 enum PoolType { constantProduct, stable, concentrated }
diff --git a/sdk/flutter/lib/src/zk/types.dart b/sdk/flutter/lib/src/zk/types.dart
index 8d5309a..1381343 100644
--- a/sdk/flutter/lib/src/zk/types.dart
+++ b/sdk/flutter/lib/src/zk/types.dart
@@ -3,8 +3,6 @@
 /// Zero-Knowledge proof systems for ZK-Rollups and privacy.
 library synor_zk_types;
 
-import 'dart:convert';
-import 'dart:typed_data';
 
 /// Proof system backends
 enum ProofSystem {