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

在可信设置中评估和二次算术程序

in  零知识证明之书
本文详细介绍了如何在可信设置的基础上评估二次算术程序（QAP），并解释了如何在不泄露证据的情况下证明QAP的满足性，使用恒定大小的证明。同时还涉及了R1CS、椭圆曲线配对等技术的详细实现。
QAP  R1CS  椭圆曲线配对  可信设置  Groth16协议 

TrueBlocks：开源数据索引器

TrueBlocks 是以太坊基金会支持的一个开源公共物品，前几天发布了正式的 V1 版本， 产品非常非常棒， 迫不及待推荐给大家。
数据基础设施  数据分析  TrueBlocks 
  • Tiny熊
  • 发布于 2023-08-30
  • 阅读 ( 5397 )
  • ( 97 )

零知识证明 - 说说Nova

Nova算法是一种针对IVC（增量可验证计算，Incrementally Verifiable Computation）的新型的零知识证明算法。
零知识证明  Nova  IVC 
  • Star Li
  • 发布于 2023-08-28
  • 阅读 ( 3945 )

二次算术程序

in  零知识证明之书
文章详细介绍了二次算术程序（QAP）的概念及其在零知识证明中的应用，特别是如何通过拉格朗日插值将Rank 1约束系统（R1CS）转换为QAP，并通过Schwartz-Zippel引理在O(1)时间内验证QAP的等式。
QAP  R1CS  拉格朗日插值  Schwartz-Zippel引理  零知识证明  有限域 

田野调查：实现 MuSig2

相比于脚本式的多签名构造，MuSig 有两大长处。第一，交易体积更小（因此矿工手续费更少）。第二，MuSig 也提升了隐私性。
多签  密码学 

深入了解 Solidity bytes

in  全面掌握Solidity智能合约开发
你是否知道大端小端的概念，其定义了是高位数据先保存还是地位数据先保存，EVM 是用 大端格式存储数据，我们知道 EVM 使用 32 字节的字来处理数据，当数据不足 32 个字节时，如何填充数据呢？bytes 有哪些操作详见本文。
Solidity  EVM 

何以我们需要 “Vlidating Lightning Signer”？

in  BTCStudy 精选
将你的闪电节点私钥和安全规则验证从闪电节点中分离出来
闪电网络 

Aptos Moveflow SDK使用指南 | Move dApp 极速入门（贰拾）

in  狗哥区块链与AI精品内容集@NonceGeek
1什么是MoveflowMoveFlow是建立在Move生态系统之上的加密资产流支付协议，它可以实现即时、无缝和不间断的支付流。
Move  DApp 

Solidity 编码规范推荐标准

in  全面掌握Solidity智能合约开发
Solidity 编码规范推荐标准, 作者列出了 15 条非常使用的规则， 例如：指定固定的编译器版本、导入代码时指定版本, 并使用命名导入，以及变量命名时注意事项。
Solidity  编程风格 

Sui 上简单 Swap 的实现 | Move dApp 极速入门（拾玖）

in  狗哥区块链与AI精品内容集@NonceGeek
合约liquidity实现了一个在sui公链上的 DEX模式的swap案例,默认在此案例中交互的两种 Coin 交换汇率为1：1，在其中没有设置交易手续费，也没考虑其中一种 Coin 的增加或减少所带来的流动损失。
Move  DApp 

Chisel ： Foundry 提供的 Solidity 交互式命令工具

Chisel是随Foundry提供的高级SolidityREPL（交互式命令工具）。它可用于在本地或Fork网络上快速测试Solidity片段。
Solidity  Chisel  Foundry 
  • Tiny熊
  • 发布于 2023-08-19
  • 阅读 ( 4646 )
  • ( 18 )

Ethernaut 题库闯关 - Switch 题解

in  Ethernaut 题库闯关 - 精进 Solidity
通过本次闯关，让我们深入理解 calldata 数据编码。
Calldata  区块链安全  Ethernaut 
  • honey_liu
  • 发布于 2023-08-18
  • 阅读 ( 3589 )
  • ( 50 )

Ethernaut 题库闯关 - Alien Codex 题解

in  Ethernaut 题库闯关 - 精进 Solidity
Ethernaut 题库闯关追更， 挑战 AlienCodex 合约， 通过本挑战，我们将更深刻的理解 Solidity 的数据存储，以及如何通过写数组达到写插槽的效果。
Ethernaut  Solidity 

【使用go开发区块链】之获取链上数据（04）

in  使用go开发区块链应用
上一篇文章，我们完成了go连接区块链的操作，本章我们将要完成获取链上数据，并持久化到数据库的功能开发
Geth  Web3  区块链 

Solidity 如何实现质押和奖励合约

in  DEFI 协议解析
本文循序渐进实现了 3 个合约：1. 简单质押奖励，重点介绍如何计算奖励的？ 2. 代币化质押奖励，提高质押流动性； 3. ERC4626 代币化金库， 将质押存入到金库中。
ERC4626  质押  Solidity  智能合约 

Vyper 不可重入锁漏洞事后分析技术报告

编者按：Vyper被黑的时间线和反思从审计的角度重现并提醒开发者注意考虑项目的依赖，本文从开发的角度深度分析并总结了这次漏洞的前因后果
Vyper  安全事件分析  重入锁 
  • aisiji
  • 发布于 2023-08-15
  • 阅读 ( 3660 )
  • ( 5 )

详解| 什么是比特币区块大小之战？

区块大小之战是2015年至2017年间发生的一场关于比特币区块链区块大小的争论。
比特币现金  区块结构  中本聪共识  比特币分叉 

【使用go开发区块链】之获取链上数据（03）

in  使用go开发区块链应用
上篇文章，我们完成了数据库的连接，本章节，我们将完成ethclient的配置以及初始化
Geth  区块链  Web3 

【使用go开发区块链】之获取链上数据（02）

in  使用go开发区块链应用
上一篇文章，我们完成了基础环境的搭建，并通过viper完成了配置文件的读取，本章，我们将要完成使用gorm连接数据库，并插入一条数据
Geth  区块链  Web3 

2023 年 Web3 中最常见的 10 个漏洞

2023 年 Web3 中最常见的 10 个漏洞： 输入验证不正确；计算错误；预言机/价格操纵； 弱访问控制； 重放攻击；舍入误差；重入攻击；抢跑；未初始化的代理；治理攻击。
智能合约安全