Add study notes for 2025-08-20

Author: AutoBot42

CodingGeoff.md

@@ -15,6 +15,42 @@ timezone: UTC+8
 ## Notes
 
 <!-- Content_START -->
+# 2025-08-20
+
+### 了解 Starknet 基础知识
+
+#### 一、Starknet 生态  
+
+- **核心议题**：聚焦Starknet基础，包括创建Cairo语言而非直接使用Solidity的原因、Starknet与其他二层链的差异、智能钱包与常规钱包的区别等。  
+- **STARKWARE与Starknet**：STARKWARE 是盈利性公司，作为zk-STARK 密码学研究与应用的先驱，开发了Starknet及支撑其运行的核心技术，目前负责维护核心技术并管理网络多数节点，正推进系统去中心化；Starknet是无需许可的第二层Rollup，以以太坊为安全层，支持用户无需Starkware许可即可部署智能合约。  
+- **Starknet基金会**：非营利组织，核心目标是推动Starknet生态发展，通过教育项目（如Basecamp）吸引开发者，为不同阶段的项目提供资助（早期种子资助最高2.5万美元，成熟阶段有增长资助），资金用途由项目自主决定，同时助力生态治理与基础设施去中心化。  
+
+
+#### 二、选择Cairo语言的核心原因  
+- **核心优势**：以航天机构计算发射时间与轨道为例，若用Rust开发程序，需依赖超级计算机且无法验证结果是否被篡改；而Cairo可让普通设备验证结果——执行方需提供加密证明，接收方可通过证明确认结果未被篡改，无需重复计算。  
+- **Cairo核心特性**：  
+  - 支持创建“可证明执行”的程序，确保计算完整性；  
+  - 运行于Cairo虚拟机（针对ZK证明优化），不依赖以太坊虚拟机；  
+  - 语法受Rust启发，采用类似所有权模型，为强类型系统，以“特征”替代继承，通过宏实现元编程；  
+  - 具备通用性，可在链外独立使用，且抽象了ZK技术的复杂性，易于开发者掌握；  
+  - 无需重复执行即可验证结果正确性，从技术层面防止计算结果被篡改。  
+
+
+#### 三、选择Starknet的核心原因  
+- **性能优化逻辑**：以太坊中，验证者需重复执行区块内所有交易以确认结果，效率极低；Starknet在生成区块时同步提供加密证明，以太坊验证者仅需验证证明（算力消耗为重复执行的极小部分），大幅提升性能。  
+- **有效性证明优势**：采用ZK-Starks（有效性证明），发送至Layer 1的数据量远小于乐观汇总；相比Snarks，Starks无需可信设置（避免密钥泄露风险），且具备量子安全性（可抵御量子计算机攻击）。  
+- **虚拟机选择逻辑**：采用Cairo VM（牺牲兼容性换取性能），而EVM因架构限制，用于零知识计算时需多层抽象，导致效率低下；Starknet不支持直接部署Solidity合约，需转换为Cairo语言。  
+- **最终确认效率**：以太坊最终确认约6分钟，OP Rollup资产提取回Layer 1需约1周，Starknet约5小时；Layer 2内确认平均10秒，计划优化至2秒。  
+- **性能数据**：日平均TPS达128（位列二层链第二），峰值近900 TPS，技术路线图目标为进一步突破该数值。  
+
+
+#### 四、智能钱包的特性与操作    
+- **核心优势**：基于“账户抽象”技术，所有钱包均为智能钱包（无以太坊式外部账户），支持：  
+  - 多操作合并为一笔交易（如批准+兑换仅需一次签名），按指定顺序执行，减少MEV攻击风险；  
+  - 可编程签名验证（支持多重签名、硬件签名、社交恢复、会话密钥等）；  
+  - 兼容多种椭圆曲线，结合手机安全区（如苹果Secure Enclave）可实现类硬件钱包的安全性。  
+- 以Bravos钱包为例，手机端通过应用商店下载，创建钱包时需保存助记词；测试网初始化需转入ETH并手动部署账户合约；浏览器端可通过插件导入钱包，支持转账、swap（体现多操作合并特性）等功能。
+
 # 2025-08-19
 
 ## 了解 Web3 创作者经济和 Fableraion 项目