BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。

Wasm 允许开发人员用Rust、Go、C和c++等语言编写高性能代码。它已被用于各种行业。在web3世界中，Wasm已被Cosmos、NEAR和Polkadot等区块链项目采用。然而，由于建立可持续信任网络的挑战，Wasm的广泛采用受到限制。以太坊考虑采用Wasm，但决定坚持使用EVM执行。

OpenZeppelin Contracts 5.0 版本：更好的 Gas 效率，更优的代码结构。

每周以太坊进展 2023/10/7

zk 技术堆栈有哪些技术可用，介绍每个层级的示例工具/技术

Pessimism，一个开源的监控系统，旨在通过快速检测和响应各种对协议的威胁，增强 Base（以及更广泛的 OP Stack 和以太坊生态系统）的安全性。

比特币即将迎来 Zero-knowledge rollups

每周以太坊进展 2023/9/23

Sequencer 在 Layer 2 (L2) 解决方案中起到核心作用，主要负责交易汇总，L1 数据派生，L2 区块生成，L1 batch 数据提交，以及 L1 中 L2 state root 的提议。在本文中，我们将深入探讨 Sequencer 的工作原理和相关代码实现。

本手册涵盖了合约部署、跨合约调用、设计模式、Calldata优化、汇编技巧、编译器等等各个方面的优化技巧！不管你是新手还是老手，这本手册都能给你带来惊喜和启发！

Web3 是新一代价值互联网，是去中心化应用程序（dApps）的网络。 dApp 让数据所有权回归个人，同时带来应用间的可组合性。

Web3 的架构与交互均与 Web2 有较大不同，Web3 应用通常基于区块链，去中心化存储。

合约里的数值通常非常大， 肉眼阅读非常费劲，solpretty 可以让对数字进行漂亮的格式化。

本系列中，我们将分享两项崭新的工作：Lasso 和 Jolt，它们可以显著加速 web3 中应用的扩展和构造。它们共同代表了一种本质上全新的 SNARK 设计方法，可将已广泛部署的工具链的性能提升一个数量级或更多；提供更好、更方便的开发者体验；并使得审计变得更加容易。

作者：阿剑本文尝试为比特币上的一种资产发行协议RGB提供一份简洁的描述（也可以将它理解成一种链外智能合约系统），并指出其迥异于其它旨在实现相同或相似功能的协议的地方，这些区别使得RGB协议的可扩展性远远超过它们，并且留下了更广大的编程空间。

Dune SQL 和以太坊数据分析进阶指南

本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs，以及如何使用 ZoKrates 编译器来生成证明和验证合约。

solidity太卷了，最近在研究cairo，可是cairo升级太快了，一直苦于没有资料，于是乎苦苦哀求Starknet中文大使和鸦老师，他们在百忙之中整理了一些资料。现在发出来，希望大家共勉，一起builder

Starknet在2023年正式上线主网后，备受关注，这有可能是接下来的热点（？保持一个关注）。在2023年9月的时候，也有广泛流传的，官方只想给开发者空投，那大家不赶紧学一波，发点合约占占坑位？开源库、文档Starknetbookhttps://docs.s

在 Remix 中通过无缝集成 Starknet Remix 插件，让开发者可以更方便进行 Cairo 开发

编者导语：你知道以太坊 EVM 数据是如何映射到 Dune 表格的么？在 Dune 查询时需要使用到哪些基本 SQL 用法， 本文一一揭晓。