Web3 极客日报 #1423

### 极简解读BitVM：如何在BTC链上验证欺诈证明（执行EVM或其他VM的操作码） https://mp.weixin.qq.com/s/I-L4w-395KJSI-VqOJSRbg **张晓**: 推荐这一篇，对BitVM技术方案的解读。 ### ZeroSync: 同步比特币全节点的 STARK 证明 https://github.com/ZeroSync/ZeroSync **Harry**: ZeroSync 可以即时验证比特币链的状态。无需下载数百GB的区块数据。简洁的密码学证明可以验证整个交易历史和每个人的当前余额。 ### zk-fhe https://twitter.com/backaes/status/1730602787984298212 **Harry**: 使用 ZK 证明 BFV 全同态加密方案下加密操作的正确执行