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

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

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

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

in  Michael.W基于Foundry精读Openzeppelin

UpgradeableBeacon库是信标代理模式中的信标合约的实现，与一个或多个BeaconProxy库实例配合使用。所有到BeaconProxy的调用都会被委托到本库指向的逻辑合约上。本库的owner具有更换逻辑合约地址的权限，从而实现信标代理合约的升级功能。
UpgradeableBeacon  OpenZeppelin  Foundry 
  • Michael.W
  • 发布于 2024-08-13
  • 阅读 ( 1657 )
  • ( 33 )

EVM 公链基础知识摘要

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

可编程密码学 - 第一篇

“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。
可编程密码学  FHE  MPC  zkSNARK 
  • 0xPARC
  • 发布于 2024-08-12
  • 阅读 ( 1979 )
  • ( 66 )

探索比特币的数据可用性

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

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

几分钟搞懂全同态加密FHE：运行模式与应用场景
FHE 
  • 仙壤
  • 发布于 2024-08-12
  • 阅读 ( 2548 )
  • ( 12 )

2024-08-11 zk-insights Weekly

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

Solidity语言 - 字符串

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

Solidity语言 - 结构体

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

每周以太坊 2024/08/10

每周以太坊 2024/08/10
每周以太坊 
  • EthWeekly
  • 发布于 2024-08-10
  • 阅读 ( 1535 )
  • ( 46 )

Solana 中代币的交互

这里主要就是通过程序发行的代币相关的交互。SPL（ERC20）代币的交互在Solana中，可以官方提供了模板进行山寨币的创建，可以通过调用系统程序进行代币的创建。JS交互可以通过JS和SPL代币进行交互，包括了：代币的创建、铸币、查看账户中代币的余额、进行SPL代币转账、销毁持有的SPL
Token  SPL 
  • nilliol
  • 发布于 2024-08-10
  • 阅读 ( 2372 )
  • ( 32 )

理解ERC165标准

对ERC165的学习记录及理解
ERC165  EIP165 
  • De7e
  • 发布于 2024-08-10
  • 阅读 ( 1825 )
  • ( 75 )

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

in  现代 DeFi 借贷协议

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

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

ZK技术的历史发展脉络梳理
零知识证明  zkSNARK 
  • 仙壤
  • 发布于 2024-08-09
  • 阅读 ( 1932 )
  • ( 7 )

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

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

初识 TON：账号、Token、交易与资产安全

TON的目标是提供一个高性能和可扩展的区块链平台，以支持大规模的去中心化应用(DApps)和智能合约。
TON 

数据可用性采样(DAS ) #1 ：为什么会需要 DAS？

数据可用性采样(DAS ) 1 ：为什么会需要 DAS？
DAS  数据可用性 
  • EthTaipei
  • 发布于 2024-08-08
  • 阅读 ( 1501 )
  • ( 36 )

利用Renzo-Fuzzing库发现真实漏洞

本文介绍了Renzo协议与EigenLayer的集成，以及通过eigenlayer-fuzzing Repo进行系统不变量测试的重要性。文章详细讨论了几个高严重性漏洞的发现过程，并展示了如何利用renzo-fuzzing Repo进行有效的测试和漏洞发现，从而加强系统安全性。通过这些示例，读者可以了解如何使用不变量测试工具及其在实际协议中的应用。整体上，文章技术性强，有实践指导意义。
Renzo  EigenLayer  不变量测试  漏洞发现  fuzzing  智能合约 
  • Recon
  • 发布于 2024-08-08
  • 阅读 ( 400 )

Solana 共识过程及关键名词（以实际交易为例）

Solana 共识过程及关键名词（以实际交易为例）
Solana 

2024年汇聚互操作性解决方案的现状

本文详细探讨了rollup互操作性的重要性，作者通过自己的经历和技术研究，分析了当前rollup技术在以太坊生态系统中的挑战与机遇。文章提供了对比不同rollup机制的深刻见解，并提出了一些创新的解决方案，如“keystore rollups”，以提升跨链交易的效率与安全性，展望以太坊未来的互操作性发展。
Rollup  互操作性  以太坊  ERC-4337  ZK Rollups  账户抽象