操作码

理解比特币脚本的堆栈操作

本文深入探讨了以太坊虚拟机(EVM)及其字节码的工作原理。文章介绍了虚拟机的基本概念、字节码结构、操作码以及EVM的执行环境，包括内存、栈、调用数据和存储的功能与特点，为理解EVM的运作提供了基础知识。

本文深入介绍了以太坊虚拟机（EVM）如何逐步执行合约的字节码，尤其是简单合约的部署过程。文章通过分步骤解析字节码和相关操作码，帮助读者理解合约执行的逻辑和流程。

文章探讨了L2IV与Polyhedra在比特币上进行ZK证明验证的合作，分析了比特币脚本与以太坊智能合约的异同，并提出了恢复OP_CAT操作码以提高比特币ZK验证器效率的建议。文章详细讨论了Merkle树证明验证与有限域算术的适用性，并强调了ZK验证器对Polyhedra未来应用的重要性。

本文深入介绍了Kakarot与Ethereum的不同之处，包括操作码、预编译支持及合约开发示例，适合具备Solidity编程经验的开发者。文章通过细致的比较和实例，展示了Kakarot的功能和使用方式。

本文深入探讨了以太坊虚拟机（EVM）的架构和操作，解释了EVM的基本组件（如堆栈、内存、存储等），字节码如何被编译为操作码，以及交易的执行过程。通过详细的步骤和示例，读者能够更好地理解EVM的工作原理和智能合约的执行机制。

Trim 是一种面向 EVM 的、基于操作码的编程语言，它提供了一种更可读的方式来编写高度优化的代码，而不会引入额外的复杂性。它具有 S 表达式、字符串、标签、宏等特性，可以更方便地编写智能合约。文章介绍了 Trim 的基本使用、语法、特性和宏，并展示了如何使用 Trim 编写智能合约。

深入了解最小代理合约

本文介绍了以太坊虚拟机（EVM）及其核心组件，包括虚拟机、智能合约、操作码和 Gas。EVM 是以太坊网络的核心，它允许开发者创建智能合约，实现各种应用，如代币生成和交易。文章还探讨了 EVM 的使用案例，例如 ERC-20 和 ERC-721 代币，以及去中心化交易所。

本文提出了一种新的比特币操作码 TAPLEAF_UPDATE_VERIFY (TLUV) 和 IN_OUT_AMOUNT，旨在改进 taproot 的功能，实现更灵活的 UTXO 更新和资金管理。通过 TLUV，可以更新内部公钥、修改默克尔路径，并结合 IN_OUT_AMOUNT 来验证资金转移，从而实现保险柜合约和资金池等应用，增强比特币的隐私和效率。

这篇文章指出了如何让比特币支持ZK验证功能，比特币UTXO和脚本在功能性上的缺陷，及可能的路线

本文介绍了 Tapscript，它是对比特币脚本语言 Script 的升级版，建立在 Schnorr 签名的批量可验证性之上，并简化了新功能的添加。

本文深入探讨了操作码（Opcodes）这一计算机处理器和虚拟机中的基本指令，从传统CPU到以太坊虚拟机（EVM）等区块链环境。文章详细介绍了Opcodes的机制、工具和实际应用，重点关注EVM合约Opcodes，并结合实例分析了如何在经典计算和前沿区块链生态系统中运用Opcodes，以及它们在操作系统、嵌入式系统、区块链、安全和编译器等领域的关键作用。

该BIP (Bitcoin Improvement Proposal) 描述了比特币脚本系统中的一个新的操作码 OP_CHECKLOCKTIMEVERIFY，允许交易输出在未来的某个时间点之前保持不可花费状态。它重新定义了现有的 NOP2 操作码，并通过与交易的 nLockTime 字段进行比较，验证所需的块高度或块时间是否已达到。

该BIP (Bitcoin Improvement Proposal) 提议引入一个新的操作码 OP_EVAL，旨在允许比特币的接收者指定重新花费这些比特币所需的交易类型，从而实现端到端安全钱包，并支持对旧客户端和矿工具有后向兼容性的复杂交易。