精选文章 - 第37页

从模糊测试 Centrifuge 协议中学到的经验教训第二部分

本文讨论了Recon团队在与Centrifuge协议合作时如何应用安全设计思维和夹紧技术，以减少长时间运行Echidna模糊测试后出现的假阳性。文章详细介绍了如何通过手动审查代码和利用系统理解来优化测试套件，以辨别真正的错误和无效的属性测试。最后，强调了高代码覆盖率与高质量结果之间的关系。

Echidna 模糊测试 Centrifuge 代码覆盖安全设计测试套件

Recon
发布于 2024-08-14
阅读 ( 466 )

【教程】使用 OpenZeppelin Monitor 监控智能合约的链上活动

使用 OpenZeppelin Monitor 监控智能合约的链上活动

OpenZeppelin Monitor

OpenZeppelin
发布于 2024-08-14
阅读 ( 1870 )
( 20 )

深入探讨 Solana 的 AccountsDB

文章涵盖了快照的组成部分、账户文件的存储及读取方法，并探讨了账户索引的构建与数据压缩策略。尤其强调了各个后台线程（如刷新、清理、缩减和清除）如何有效管理内存，确保信息高效存储与访问。整体内容逻辑清晰，技术细节深入，对于区块链数据管理的理解提供了重要的视角。

快照 Solana 账户文件账户索引后台线程区块链

Anza
发布于 2024-08-14
阅读 ( 557 )

以太坊 - 如何通过Multicall优化以太坊RPC使用率 - Quicknode

本文介绍了如何通过利用Viem库和Multicall3来优化以太坊的RPC使用。文章详尽地论述了Multicall的优势，实施批量合约读取的步骤，以及如何通过减少RPC请求来降低成本和提高效率。同时，文中提供了相关代码示例和环境设置步骤，适合开发人员学习和参考。

Ethereum multicall Viem RPC优化智能合约 Typescript

QuickNode
发布于 2024-08-14
阅读 ( 578 )

登链上线人才库，搭建需求方与人才的桥梁

人才库帮助开发者展示自己，方便项目方搜寻牛人，让开发者和需求方多了一个更直接的链接桥梁。

晓娜
发布于 2024-08-14
阅读 ( 2445 )
( 49 )

通过 12 节课理解 STARK 构建过程

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性

zk-STARK RISC Zero 零知识证明 FRI协议 Reed-Solomon编码执行跟踪

RISC ZERO
发布于 2024-08-14
阅读 ( 530 )

Michael.W基于Foundry精读Openzeppelin第68期——UpgradeableBeacon.sol

in Michael.W基于Foundry精读Openzeppelin

UpgradeableBeacon库是信标代理模式中的信标合约的实现，与一个或多个`BeaconProxy`库实例配合使用。所有到`BeaconProxy`的调用都会被委托到本库指向的逻辑合约上。本库的owner具有更换逻辑合约地址的权限，从而实现信标代理合约的升级功能。

UpgradeableBeacon OpenZeppelin Foundry

Michael.W
发布于 2024-08-13
阅读 ( 1765 )
( 33 )

EVM 公链基础知识摘要

本文来自我在HackQuest学习笔记的整理EVM交易结构交易数据主要包含如下字段：●nonce：发送方账户的交易计数器，统计该账户在此区块链中的总交易次数。●gasPrice：发送方愿意为每单位gas支付的价格。●gasLimit：发送方为这次交易设置的最大gas消耗

EVM

skysys.eth
发布于 2024-08-12
阅读 ( 2013 )
( 56 )

可编程密码学 - 第一篇

“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。

可编程密码学 FHE MPC zkSNARK

0xPARC
发布于 2024-08-12
阅读 ( 2130 )
( 66 )

探索比特币的数据可用性

报告通过分析以太坊 ZK-Rollup 的数据并预测选择使用比特币作为数据可用性的 Rollup 的成本，分析了比特币上 Rollup 的经济可行性。分析探讨了这些项目在主网上线后对比特币区块组成的潜在影响，并讨论了如果发布数据到比特币变得过于昂贵，Rollup 可能采用的替代策略。

比特币数据可用性

Galaxy
发布于 2024-08-12
阅读 ( 1885 )
( 14 )

几分钟搞懂全同态加密FHE：运行模式与应用场景

FHE

仙壤
发布于 2024-08-12
阅读 ( 2738 )
( 12 )

2024-08-11 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～

ZKP

Coset
发布于 2024-08-12
阅读 ( 1526 )
( 33 )

Solidity语言 - 字符串

这篇文章详细介绍了Solidity中的字符串处理，包括其动态大小、UTF-8编码、字符串长度的计算、字符访问及Unicode支持等核心概念。此外，还介绍了在Solidity 0.8.12版本中新增的字符串拼接功能。文章通过代码示例清晰地展示了每个概念，使读者能更好地理解和应用这些知识。

Solidity 字符串 UTF-8 Unicode 字节数组智能合约

RareSkills
发布于 2024-08-11
阅读 ( 416 )

Solidity语言 - 结构体

这篇文章详细介绍了Solidity中的结构体（struct）及其用法，包括如何声明、实例化和作为函数参数传递结构体。通过示例代码，作者展示了如何利用结构体提高代码的可读性和效率，并提供了一个现实生活中的用例，如购票系统，帮助开发者理解结构体的实际应用。

Struct Solidity 智能合约数据结构示例代码编程

RareSkills
发布于 2024-08-11
阅读 ( 581 )

每周以太坊 2024/08/10

每周以太坊

EthWeekly
发布于 2024-08-10
阅读 ( 1596 )
( 46 )

Solana 中代币的交互

Token SPL

nilliol
发布于 2024-08-10
阅读 ( 2510 )
( 32 )

理解ERC165标准

对ERC165的学习记录及理解

ERC165 EIP165

De7e
发布于 2024-08-10
阅读 ( 1968 )
( 75 )

现代DeFi借贷协议 - Ajna 是如何构建的

in 现代 DeFi 借贷协议

Ajna Protocol是一个去中心化、无需治理或外部价格源的借贷和交易系统，利用桶的设计允许用户以不同的风险比例进行借贷。协议通过称为Fenwick树的数据结构有效地管理多个借贷池，使其能够动态追踪市场价格。Ajna还允许使用ERC721 NFTs作为抵押品，解决了传统借贷机制中价格操控的问题，从而提高了安全性和效率。

Ajna Protocol 去中心化借贷 Fenwick树 ERC721 流动性马尔可夫链

mixbytes
发布于 2024-08-09
阅读 ( 634 )

ZK技术的历史发展脉络梳理

零知识证明 zkSNARK

仙壤
发布于 2024-08-09
阅读 ( 2085 )
( 7 )

如何在 JavaScript 中生成一个新的以太坊地址

本文介绍了如何使用JavaScript中的Ethers.js库生成以太坊地址，包括必要的环境设置、地址生成过程以及相关代码示例。文章在技术上深入探讨了以太坊地址的生成原理及所需的加密算法，适合初学者和开发者学习。

JavaScript 以太坊地址 ethers.js 区块链加密技术 DApp

QuickNode
发布于 2024-08-09
阅读 ( 563 )