全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

深入了解 Solidity 错误 #0

in  理解 EVM - 探究Solidity 背后的秘密
深入了解 Solidity 错误第一篇, EVM 中的错误分类。
EVM  Solidity  错误处理 
  • Tiny熊
  • 发布于 2023-07-28
  • 阅读 ( 3785 )

BLS12-381指南

开始鼓捣之前，我希望我知道的。 近年来，椭圆曲线BLS12-381逐渐火了起来。许多协议都将其应用到了数字签名和零知识证明中：Zcash、Ethereum 2.0、Skale、Algorand、Dfinity、Chia 等等。 不幸的是，现有的关于 BLS12-381 的资料里充满着晦涩的咒语，比如
bls12-381  椭圆曲线  BLS签名 
  • XPTY
  • 发布于 2023-07-28
  • 阅读 ( 5366 )

【使用go开发区块链】之智能合约交互（02）

in  使用go开发区块链应用
让我们一起学习一下如何使用abi的方式进行智能合约的调用
Geth  Solidity 

等待确认（八）：交易池规则是个接口

in  BTCStudy 精选
到目前为止，我们已经探讨了关于去中心交易转发的目的和挑战，这些因素使得节点本地和整个网络都要使用比共识规则更严格的交易验证规则。因为 Bitcoin Core 软件的交易转发规则变更可能影响一个应用的交易是否能被转发，所以在提出之前，需要整个比特币社区的社会合作。类似地，使用了交易转发的应用和二
比特币 

BTC 交易池 - 等待确认（七）：网络资源

in  BTCStudy 精选
前一篇文章讨论了保护节点资源的问题。由于各个节点的资源不同，因此有些规则是可配置的。我们还提出了为什么最好统一规则的理由，但是哪些内容应该包含在这个规则里呢？本文将讨论网络范围的资源概念，这对于可扩展性、可升级性和启动和维护全节点的可访问性等方面至关重要。
比特币 

模块化：比较数据可用性（DA）层

以太坊、Celestia、EigenLayer 和 Avail 都可以作为数据可用层。 本文分别从：出块时间，最终确定性及共识，数据可用性采样、轻节点安全性 等维度来对比各个 DA 层
模块化区块链  数据可用性 

如何使用 TypeScript 转移 Solana 代币

本文讲解了如何使用TypeScript在Solana区块链上转移NFT。重点包括创建新关联代币账户（ATA）、进行NFT转移的步骤及相关代码示例，适合初学者理解Solana的token管理和转移过程。
Solana  Typescript  NFT  代币转移  区块链  Associated Token Account 
  • Helius
  • 发布于 2023-07-26
  • 阅读 ( 512 )

UniswapX 协议白皮书

in  DEFI 协议解析
UniswapX 聚合了链上和链下流动性，以不断优化价格的形式将 MEV 内化到协议中，为用户提供无需 Gas 兑换，并可扩展以支持跨链交易。
Uniswap  UniswapX  跨链 
  • Tiny熊
  • 发布于 2023-07-25
  • 阅读 ( 6749 )
  • ( 153 )

从头开始了解Merkle树的 LAYER 2

这篇文章介绍了Merkle树的基本概念及其实现，从构建一个Merkle树的JavaScript示例开始，涵盖了Merkle证明和Delta Merkle证明的原理与实现。通过对树的节点、路径、兄弟节点等概念的详细解释，读者能够更深入地理解Merkle树在数据传输和存储中的应用，尤其是在Layer 2解决方案中的重要性。
Merkle树  数字签名  哈希函数  Merkle证明  Delta Merkle证明  Layer2 

如何使用新的DAS API创建SvelteKit应用程序

本文详细介绍了如何使用 Digital Asset Standard API (DAS) SDK 和 SvelteKit 创建一个应用程序，通过 getAssetsByGroup 方法在网页上显示 NFT 集合的图像。文章涵盖了所需的环境设置、代码实现的各个步骤以及示例代码，适合希望在 Solana 上开发 NFT 应用的开发者。
SvelteKit  DAS SDK  NFT  Helius  Solana  JavaScript 
  • Helius
  • 发布于 2023-07-24
  • 阅读 ( 467 )

如何将文件上传到Solana上的Shadow Drive

这篇文章提供了在Solana上使用TypeScript将文件上传至Shadow Drive的详细教程，介绍了通过获取SHDW代币创建存储账户的步骤，并展示了完整的代码实现过程。文章还提到了一些前提条件和必要的设置，适合开发者学习如何利用Shadow Drive进行去中心化存储。
Solana  Shadow Drive  Typescript  文件上传  去中心化存储 
  • Helius
  • 发布于 2023-07-24
  • 阅读 ( 483 )

【二】GKR 协议系列之Sum-Check

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...本章节，我们就一个数气球的toycas
interactive protocol  sumcheck  GKR 
  • 白菜
  • 发布于 2023-07-22
  • 阅读 ( 4842 )
  • ( 2 )

友好的零知识证明介绍

在本文中，作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理，以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用
零知识证明 

智能合约安全审计入门篇 —— 签名重放

了解一个经典的智能合约漏洞 —— 签名重放。
智能合约安全  安全审计  智能合约 

智能合约安全审计入门篇 —— 抢跑

了解一个非常常见的攻击手法 —— 抢跑。
智能合约安全  安全审计  抢跑  智能合约 

学习 ZK 如何入门 - 学习路线 by Taiko.eth 🥁

以下是ZK入门包内容的解读
ZKP  学习路线 

Python、Solidity 和 EVM 中的双线性配对(Bilinear Pairings)

in  零知识证明之书
这篇文章深入探讨了双线性映射（bilinear pairings）的原理及其在密码学中的应用，特别是在验证乘积的离散对数时。
双线性映射  离散对数  椭圆曲线  以太坊预编译  G1  G2 

比特币中的限制条款：用于评审的分类学

in  BTCStudy 精选
限制条款（covenant） 是一种允许内省（introspection）的构造：一个交易的输出，可以为接下来花费它的交易设置条件（超越具体的 “必须提供它自己以及某一个公钥的有效签名”条件）。
比特币 

Fuel: 专注模块化的执行层

本文接收了什么是模块化执行层，Fuel 如何通过 UTXO 的设计来实现快速平行的执行层。
Fuel  Celestia  模块化区块链 

将代数电路转换为R1CS（一阶约束系统）

in  零知识证明之书
文章详细介绍了如何将一组算术约束转换为Rank One Constraint System (R1CS)，涵盖了转换中的优化和Circom库的实现方法。
R1CS  算术电路  circom  Modular Arithmetic  零知识证明