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

电子化、交易与加密货币

本文提出了一个框架，以理解公共区块链的技术变化对金融市场的潜在重塑，并强调了区块链在建立开放、公平和高效的金融体系中的作用。文章回顾了金融市场科技演变的历史，探讨了电子交易及其对市场结构的影响，最后展望了区块链如何革新交易流程和市场设计的未来。
区块链  金融市场  电子交易  市场结构  自动化市场制造商  技术变革 

PermaDAO 绿债报告解读

近日，香港金融管理局（HKMA）发布了《Bond Tokenisation in Hong Kong》（《香港债券代币化》）的报告，以香港政府 2 月份发行的首个代币化债券 Evergreen “绿债”为例，详细梳理了债券代币化的理论和实践。

starknet cairo学习资料汇总

solidity太卷了，最近在研究cairo，可是cairo升级太快了，一直苦于没有资料，于是乎苦苦哀求Starknet中文大使和鸦老师，他们在百忙之中整理了一些资料。现在发出来，希望大家共勉，一起builder
Cairo  Starknet 
  • 宛十八
  • 发布于 2023-09-07
  • 阅读 ( 2772 )
  • ( 22 )

NFTScan的增长秘籍：从零起步，成长为最大的NFT数据基建服务商

分布式HTAP数据库TiDB，为NFTScan的新业务加装了增长齿轮。

Web3 极客日报 #1309

Web3 极客日报 #1309
  • rebase
  • 发布于 2023-09-06
  • 阅读 ( 1487 )
  • ( 2 )

00_Starknet Cairo1_开始

Starknet在2023年正式上线主网后，备受关注，这有可能是接下来的热点（？保持一个关注）。在2023年9月的时候，也有广泛流传的，官方只想给开发者空投，那大家不赶紧学一波，发点合约占占坑位？开源库、文档Starknetbookhttps://docs.s
  • jtechlyle
  • 发布于 2023-09-06
  • 阅读 ( 2277 )
  • ( 9 )

密码学 - 暸解 Plonk

本文深入浅出地介绍了Plonk证明系统，通过毕氏定理的例子，逐步拆解Plonk的限制式，并解释了相等限制式的概念。文章还对比了Plonk与Groth16在电路结构和约束方式上的差异，解释了Plonk中如何通过自定义逻辑门提高电路的灵活性，并对Plonk的核心概念进行了总结。适合对零知识证明和SNARKs有一定基础的读者阅读。
PLONK  SNARKs  零知识证明  多项式承诺  可信任设置  约束 

Web3笔记| 新手指南：什么是以太坊？谁在运行？

加密货币是一类去中心化的数字货币，它使用密码学来确保安全。它在传统银行和政府系统范围之外自主运作。这一切都始于比特币。
  • Tokenview
  • 发布于 2023-09-06
  • 阅读 ( 2058 )
  • ( 2 )

智能合约开发的演进

本文讨论了智能合约开发的演进，特别是reentrancy重入攻击的风险，以及使用Move语言和SVM（MoveVM）虚拟机来提高智能合约安全性的方案。文章分析了Curve和DAO两次著名的攻击事件，并深入探讨了Move语言的安全机制，包括资源类型、模块系统、线性类型系统、字节码验证和形式化验证。最后，作者展望了MoveVM在EVM社区的未来应用。
智能合约  重入攻击  Move语言  形式化验证  SVM  MoveVM 

【上篇】ProtoStar from scratch

Thanks十分感谢@AntalphaLabs上月底提供的线下hackerhouse，有机会亲历并学习SecbitLabs@郭宇老师、@even做zkresearch的思路和方法，并讨论了很多foldingscheme相关的问题非常感谢参加hackerhouse一起交流
folding  Nova  protostar 
  • 白菜
  • 发布于 2023-09-06
  • 阅读 ( 3660 )
  • ( 6 )

提案： 创建以太坊相关软件包的通用仓库

该项目旨在为以太坊相关软件包创建一个通用的 Debian 仓库，简化以太坊节点在 Debian 系统上的安装和配置过程。通过提供预配置的软件包和自动化服务设置，降低用户参与以太坊生态系统的门槛，并方便开发者分发软件。包含使用 apt-get 下载软件、简化的配置管理、便捷的软件分发和集中的问题讨论区等功能，最终目标是实现通过简单的命令即可完成以太坊节点的安装和运行。
Debian 仓库  以太坊节点  软件包管理  apt-get  自动化配置  Go-Ethereum 

NFTScan 浏览器再升级：优质数据服务新体验来袭

NFTScan 主站近日进行全面升级，致力于提供更友好、便捷的数据服务。
NFT  NFTScan 

Layer 2 分类，通用化之路仍旧漫长

在多次延期后，以太坊终于完成了上海升级，以太坊的质押系统真正开始运作，而以太坊的下一步也就此来到了坎昆时代，在本次升级的众多 EIP 中，EIP-4844 无疑最受关注，其将引导以太坊迈入 DankSharding 的第一步 Proto-DankSharding ，为随后的全面革新做好准备。

Web3 极客日报 #1308

Web3 极客日报 #1308
  • rebase
  • 发布于 2023-09-05
  • 阅读 ( 1387 )
  • ( 4 )

sol2uml 简介

sol2uml是一款用于Solidity智能合约可视化的工具。支持从命令行界面生成合约存储图和合约类图（UML）等
  • dwong
  • 发布于 2023-09-05
  • 阅读 ( 2526 )
  • ( 29 )

解锁 Starknet 新姿势：Starknet Remix 插件概述

在 Remix 中通过无缝集成 Starknet Remix 插件，让开发者可以更方便进行 Cairo 开发
Cairo  Starknet 

PeerDAS：一种使用经过实战检验的 P2P 组件的更简单 DAS 方法 - 网络

PeerDAS 旨在通过重用以太坊中已有的 P2P 组件，在 4844 的基础上进一步扩展数据可用性（DA）的规模。文章探讨了如何在不依赖更高级的 DHT 解决方案的情况下，通过具有不同节点类型的相对简单的网络结构实现额外的 DA 扩展，以及模拟了这种解决方案的有效性，包括涉及数据大小、网络节点总数、诚实节点所需承担的最小工作量等参数。
PeerDAS  数据可用性抽样  P2P网络  节点容量  Danksharding  以太坊 

盲化的 Diffie-Hellman 密钥交换

本文介绍了一个由 Ruben Somsen 提出的基于盲化 Diffie-Hellman 密钥交换的协议，该协议允许 Bob 与 Alice 进行盲化密钥交换。Alice 验证解盲后的数值是否来自自身。文中还讨论了该协议的起源、优缺点以及一个潜在的弱点，并提出了使用离散对数相等证据（DLEQ）来解决该弱点的方法。
盲签名  Diffie-Hellman密钥交换  椭圆曲线  离散对数  密码学  盲化 

Anoma架构概述

本文深入探讨了Anoma协议的架构与工作原理，介绍了其独特的意图（intents）概念、匹配机制（matchmakers）、状态机设计、有效性谓词（validity predicates）和隐私特性等，展示了Anoma如何在众多协议中实现去中心化的事务协调和执行，同时维持安全性和用户隐私。文章不仅详细阐述了技术实现，还提供代码示例，适合有一定基础的读者。
Anoma  意图  匹配机制  有效性谓词  隐私保护  区块链架构 

Arweave 每周要点精粹：Week 35（PermaDAO 整理版）

Arweave每周要点精粹：Week35（PermaDAO整理版）Web3正在加速发展，Arweave作为基础设施将被更多的开发者采用，创造一个全新的、更加丰富多彩的生态系统。PermaDAO正是为此而建立起来的共建者社区。