DeFi

为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同...

行至2024-10-14阅读(58852)评论(0)赞(0)

核心观点：Unichain 目标成为全链 DeFi 流动性中心枢纽，一个超级应用正在构建应用链来回收协议本身所创造价值。 基于 OP Stack 构建，其核心创...

行至2024-10-14阅读(58990)评论(0)赞(0)

从Solidity 0.8.24 支持 Cancun 硬分叉(在 2024 年 3 月执行) 中包含的操作码，特别是根据 EIP-1153 的瞬态存储操作码 T...

行至2024-10-13阅读(56893)评论(0)赞(0)

一、消息概览 概况： TON链上的的消息传递分为内部消息和外部消息。其中内部消息是合约之间发送的消息，外部消息是通过调用外部程序与合约进行交互发送的消息。在to...

行至2024-09-30阅读(58858)评论(0)赞(0)

一、说明 TON链上FUNC智能合约的交互和solidity智能合约交互方式类似。以Ton上的jetton合约为例通常通过操作码进行合约的交互，在FUNC合约开...

行至2024-09-30阅读(57860)评论(0)赞(0)

一、说明 get方法类似与solidity合约中的view方法，只提供链上数据的查询不修改链上数据和数据状态，执行view类型方法不会消耗gas费用。区别于so...

行至2024-09-30阅读(57857)评论(0)赞(0)

一、说明 Ton电报链上的合约开发区别与传统ETH以及侧链上的支持ERC方式的solidity合约开发。solidity是一种面向对象的开发语言，类似于c++，...

行至2024-09-30阅读(57861)评论(0)赞(0)

以太坊的 Multicall 是一种通过一次区块链请求来批量查询多个智能合约数据的技术。这种方法可以有效减少链上的读取操作，提高效率，并节省 gas 费用。以下...

行至2024-09-18阅读(58864)评论(0)赞(0)

之前学习了下ERC165标准，理解ERC165标准，发现ERC标准是一环扣一环，怪是越打越多的。希望以本文记录一下ERC1820的一些细节和主要实现，不会具体分...

行至2024-09-16阅读(58899)评论(0)赞(0)

一、引言 TON区块链平台的智能合约采用FunC语言编写，该语言提供了丰富的数据结构，如dict和list，用于存储和处理数据。在本篇文章中，我们将通过分析一段...

行至2024-09-16阅读(45799)评论(0)赞(0)