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

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

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

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

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

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

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

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

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

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

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

Solana - 鉴别器 Discriminator

本文介绍了 Anchor 框架中 Discriminator 的概念、作用和必要性。Discriminator 作为唯一标识符，用于区分不同类型的数据和账户结构，确保程序在运行时能够正确处理数据，防止类型相关的错误，增强程序的健壮性和安全性。
Discriminator  Anchor框架  账户结构  数据类型  唯一标识符  序列化 

给 Solidity 开发者的 Cairo 编程指南

给 Solidity 开发者的 Cairo 编程指南
Cairo  Solidity 

12.slither检测器之四——变量重写检测

in  Slither漏洞扫描框架使用(初级篇)
遍历所有的节点处理变量读写关系的示例
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-07-04
  • 阅读 ( 3183 )