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

UniswapX 协议白皮书

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

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

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

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

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

Celestia： 模块化区块链的世界

阐述 Celestia 的新功能和模块化世界的未来
模块化区块链  Celestia 

Starknet 改进语法全解读

Starknet 改进语法全解读
Starknet  Cairo 

区块链中的数学 -- 蒙哥马利模乘

蒙哥马利模乘算法关键是依赖于一种称为蒙哥马里形式(Montgomery form)的数字的特殊表示。效率高主要是因为避免了昂贵的除法运算。蒙哥马利形式采用一个常数R>N（N是要模的数），该常数与N互素，蒙哥马利乘法中唯一需要的除法是除以R。可以选择常数R，实际上R总是选2的次方，因为2的次方的除法可

ERC-6551 NFT绑定账户提案

该提案定义了一个系统，为每个ERC-721代币提供了一个智能合约账户。这些与代币绑定的账户允许ERC-721代币拥有资产并与应用程序进行交互，而无需对现有的ERC-721智能合约或基础设施进行更改。
ERC6551 
  • dwong
  • 发布于 2023-07-10
  • 阅读 ( 5347 )
  • ( 36 )

等待确认（六）：规则一致性

in  BTCStudy 精选
等待确认（六）：规则一致性
btc 

如何集成 Uniswap V4 并创建自定义Hook

in  DEFI 协议解析
了解Uniswap V4的新功能；如何在自己的合约中集成 Uniswap V4
Uniswap  uniswap v4 

关于Solidity 事件，我希望早一点了解到这些

in  全面掌握Solidity智能合约开发
在这篇文章中，详细说明的事件的日志是如何生成，索引是如何影响日志的生成，字符串等变长数据是如何处理的。同时介绍了在前端如何获取事件。
事件 
  • Tiny熊
  • 发布于 2023-07-06
  • 阅读 ( 6495 )