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

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

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

【一】GKR 协议系列之Multilinear Extensions

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

Web3 极客日报 #1270

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

Syndica 推出 Sig：一个用 Zig 编写的以 RPS 为中心的 Solana 验证器客户端

Sig 是一个用 Zig 语言编写的 Solana 验证器客户端，旨在优化读取性能（RPS），解决 Solana 网络中常见的 slot lag 问题。Sig 通过提高客户端多样性、提供更易读的代码库和利用 Zig 语言的技术优势，旨在提升 Solana 的用户体验和网络稳定性，并提供前所未有的可访问性。
Solana  验证器  Zig语言  RPS  客户端多样性  Gossip协议 
  • syndica
  • 发布于 2023-07-21
  • 阅读 ( 804 )

Cosmos IBC、LayerZero 和 Chainlink CCIP：跨链比较…

本文对比了三种跨链解决方案：Cosmos IBC、LayerZero 和 Chainlink CCIP。
Cosmos IBC  LayerZero  Chainlink CCIP  跨链  互操作性  预言机 

等待确认（七）：网络资源

本文是Gloria Zhao在Optech Newsletter上编写的“交易池”系列周刊的第七篇，主要讨论了网络范围内的资源概念，这些概念对于比特币的可扩展性、可升级性以及维护全节点的可访问性至关重要。文章还探讨了交易池规则如何通过限制区块链增长、UTXO集大小以及定义标准交易等方式来保护共享网络资源，从而维护网络的特性并为未来的协议开发保持开放性。
交易池  UTXO集  网络资源  比特币  共识规则  挖矿 

友好的零知识证明介绍

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

Tokenomics：实用概述

本文深入探讨了 Tokenomics（代币经济学）的概念，它是加密货币领域中代币发行、分配和管理的关键系统。
Tokenomics  代币经济学  加密货币  区块链  代币  RWA 

Web3 极客日报 #1269

Web3 极客日报 #1269
  • rebase
  • 发布于 2023-07-20
  • 阅读 ( 2089 )
  • ( 8 )

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

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

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

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

ApeDao事件代码复现

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

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

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

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

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

Cobo 密码知识讲堂｜第三讲：ECDSA 门限签名典型算法介绍

in  Cobo 密码知识讲堂
本文是 Cobo 密码知识讲堂的第三讲，主要介绍了 ECDSA 门限签名算法。
ECDSA  门限签名  密码学  多方计算  同态加密  零知识证明 
  • Cobo
  • 发布于 2023-07-20
  • 阅读 ( 629 )

基于断言机的条件式支付背后的密码学

本文深入探讨了谨慎日志合约（DLC）的密码学原理，从使用私钥作为签名解密密钥的方法开始，逐步介绍了适配器签名、断言机见证消息的定义，并分析了三种主要的DLC协议提议，包括Dryja的初始提议、结合适配器签名的当前提议以及ObC支付。文章还探讨了断言机的密钥派生，以及不同DLC提议的现状和未来发展。
谨慎日志合约  适配器签名  Schnorr签名  ECDSA  BLS签名  断言机 

人工智能如何驱动令人惊叹的NFT创作

本文探讨了人工智能（AI）与非同质化代币（NFT）的融合，重点介绍了AI在NFT创作中的力量，例如通过分析大数据集生成独特的数字资产，以及在艺术创作中释放无限的创造性可能，包括生成艺术、技术驱动的收藏品、AI辅助认证、AI驱动定价和AI驱动市场。同时讨论了AI辅助艺术家，分析了Midjourney、DALL-E 2等平台，最后讨论了AI生成NFT的挑战与局限性，例如缺乏原创性、伦理考量等。
人工智能  NFT  生成艺术  算法  数字资产  区块链 
  • orbis86
  • 发布于 2023-07-20
  • 阅读 ( 862 )

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

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

形式验证的三大误解

本文揭示了有关智能合约形式验证（FV）的三大常见误解，并介绍了Certora开发的形式验证语言CVL如何有效打破这些误区。文章通过示例展示了CVL的易用性和强大能力，强调了形式验证在检查合约安全性和发现复杂漏洞中的重要性，以及Certora Prover工具的实际应用。
形式验证  智能合约  CVL  Certora Prover  安全性  Solidity 
  • Certora
  • 发布于 2023-07-20
  • 阅读 ( 761 )

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

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