全部 以太坊 比特币 Solana 公链 Solidity合约 Web3应用 编程语言 安全 密码学 科普 其他

【四】GKR 协议(原始版本)

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题主要通过手推的方式明确各个模块执行的时间成本：MultilinearExtensionsSum-CheckExtendedMUL/ADDOriginalGKRPr
interactive protocol  sumcheck  GKR 
  • 白菜
  • 发布于 2023-07-25
  • 阅读 ( 2719 )
  • ( 6 )

Web3 极客日报 #1272

Web3 极客日报 1272
  • rebase
  • 发布于 2023-07-24
  • 阅读 ( 1084 )
  • ( 7 )

每周以太坊进展 2023/7/22

Solidity 0.8.21 更新，UniswapX 聚合器发布
每周以太坊 
  • EthWeekly
  • 发布于 2023-07-24
  • 阅读 ( 2265 )
  • ( 34 )

【Web3 探索】如何获取Uniswap V2池数据

in  Web3 探索-新手必看宝典

介绍在本教程中，我们将使用ChainbaseDeFi数据集来检索UniswapV2池的地址。
数据分析  Uniswap V2 
  • Chainbase
  • 发布于 2023-07-24
  • 阅读 ( 3144 )
  • ( 10 )

Michael.W基于Foundry精读Openzeppelin第12期——SafeCast.sol

in  Michael.W基于Foundry精读Openzeppelin

SafeCast库提供了solidity的基础整数类型uintX和intX之间的类型安全转换的库方法。在不同的类型转换之间都加入溢出检查，如果一旦在转换过程中出现类型的溢出会立刻revert。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-23
  • 阅读 ( 1177 )
  • ( 4 )

Web3 极客日报 #1271

Web3 极客日报 1271
  • rebase
  • 发布于 2023-07-22
  • 阅读 ( 925 )
  • ( 2 )

Michael.W基于Foundry精读Openzeppelin第11期——Math.sol

in  Michael.W基于Foundry精读Openzeppelin

Math库为合约开发提供了solidity内置的uint256运算以外的其他整形运算方法。solidity内置的整形运算，每一步都会做overflow revert（除非unchecked{}），而Math库会在不影响结果准确性的前提下利用位溢出进行更加tricky的操作。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-22
  • 阅读 ( 1758 )
  • ( 6 )

Web3初学者指南| 莱特币攻略：什么是莱特币区块浏览器？如何使用？

摘要随着数字货币的兴起，莱特币（Litecoin）作为一种备受关注的加密货币，其交易和区块信息的追踪和查看变得越来越重要。而莱特币区块浏览器则是一个强大的工具，为用户提供了便捷的方式来探索莱特币的交易和区块。
  • Tokenview
  • 发布于 2023-07-22
  • 阅读 ( 1220 )
  • ( 3 )

【三】GKR 协议系列之Extended MUL/ADD

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...本章节手推了一下电路MUL/ADDga
interactive protocol  GKR  multilinear extension 
  • 白菜
  • 发布于 2023-07-22
  • 阅读 ( 1967 )
  • ( 2 )

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

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

20分钟极速学完Hardhat全部内容

本节课将用最简单的语言、最少的废话来帮助同学们用最短的时间学习hardhat，全网独家！
Hardhat 

【一】GKR 协议系列之Multilinear Extensions

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...背景MLE为解决Sum-Check问题提供了一
interactive protocol  multilinear extension  sumcheck 
  • 白菜
  • 发布于 2023-07-21
  • 阅读 ( 2769 )
  • ( 3 )

Web3 极客日报 #1270

Web3 极客日报 1270
  • rebase
  • 发布于 2023-07-21
  • 阅读 ( 745 )

友好的零知识证明介绍

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

Web3 极客日报 #1269

Web3 极客日报 1269
  • rebase
  • 发布于 2023-07-20
  • 阅读 ( 1138 )
  • ( 7 )

ERC-20 vs BEP-20 vs TRC-20：什么是加密代币标准？

ERC-20、BEP-20和TRC-20
  • Tokenview
  • 发布于 2023-07-20
  • 阅读 ( 2165 )
  • ( 4 )

如何使用 NFTScan SDK 工具构建 NFT Explorer Dapp

NFTScan SDK 库提供了对智能合约的无缝部署和通过 NFTScan API 调用常见合约定义的方法和功能
NFT 

ApeDao事件代码复现

ApeDao事件代码复现
安全事件分析 
  • Archime
  • 发布于 2023-07-20
  • 阅读 ( 2573 )
  • ( 5 )

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

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

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

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