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

一文详解比特币的Nested SegWit (P2SH)地址类型

in  带你走进web3钱包
基本概念：比特币的P2SH地址类型（Pay-to-Script-Hash，支付到脚本哈希）是一种常见的比特币地址类型，用于支持更复杂的交易条件。P2SH地址通过使用脚本哈希来实现不同的条件支付方式，最常见的应用是多签名地址和时间锁等。
钱包  地址 
  • Louis
  • 发布于 2024-10-16
  • 阅读 ( 3112 )
  • ( 60 )

Solana eBPF 虚拟机

本文详细介绍了Solana的rBPF虚拟机，包括其架构、工作原理以及如何通过Agave验证器执行Solana程序。文章还探讨了Berkeley Packet Filter (BPF) 和Extended Berkeley Packet Filter (eBPF) 的背景，以及Solana虚拟机的指令集架构 (ISA)。
Solana  rBPF  eBPF  虚拟机  ISA  Agave 

加密货币与区块链风险投资——2024年第三季度

2024年第三季度，加密货币风险投资持续低迷，总投资额为24亿美元，环比下降20%，交易数量为478笔，环比下降17%。
风险投资  加密货币  区块链  早期投资  Layer 1  比特币ETF 
  • Galaxy
  • 发布于 2024-10-16
  • 阅读 ( 290 )

ve(3,3) 简介

形式化验证WebAssembly - Soroban案例研究

本文介绍了Certora最近在形式验证WebAssembly (Wasm) 字节码方面的努力，特别是在Stellar区块链上的Soroban智能合约的实现中。Wasm因其安全性和高效性被广泛应用于DeFi领域，Certora开发了Sunbeam工具，能够验证用Rust编写的智能合约的高层功能正确性。
WebAssembly  智能合约  安全性  形式验证  Rust  DeFi 
  • Certora
  • 发布于 2024-10-16
  • 阅读 ( 557 )

Tendermint 的协议设计和一些思考

本篇专注于从 Tendermint 代码实现来还原其原理。
共识算法  Tendermint 

一文详解比特币的Legacy（P2PKH）地址类型

in  带你走进web3钱包
基本定义：P2PKH(Pay-to-Public-Key-Hash)是比特币网络中最常见的地址类型，常被称为标准比特币地址。
钱包  地址 
  • Louis
  • 发布于 2024-10-16
  • 阅读 ( 2717 )
  • ( 94 )

使用Foundry进行智能合约模糊测试的完整指南

本指南详细阐述了如何使用Foundry框架进行Solidity智能合约的模糊测试（fuzz testing）。文章首先介绍了什么是不变性（invariant），然后分别讲解了无状态和有状态的模糊测试的实现，并通过代码示例展示了相关实现步骤。最后强调了模糊测试在保证智能合约安全性方面的重要性。
模糊测试  Solidity  Foundry  智能合约  不变性  代码安全 
  • Cyfrin
  • 发布于 2024-10-16
  • 阅读 ( 885 )

ECFFT算法

本文是关于 Eli Ben-Sasson、Dan Carmon、Swastik Kopparty 和 David Levit 最近发表的一篇论文的。
ECFFT 
  • XPTY
  • 发布于 2024-10-16
  • 阅读 ( 451 )

如何使用PHP连接到以太坊

本文介绍了如何使用PHP及web3.php库连接到以太坊区块链，内容涵盖从PHP的基本介绍到环境配置，以及具体的代码示例与运行步骤，帮助开发者在后端应用中集成以太坊功能。
php  以太坊  web3.php  区块链  代码示例  开发者工具 

Solana数据流：如何使用实时数据驱动你的DApp

本文探讨了Solana上数据流的不同方法，从原生WebSocket到Geyser插件和Syndica的ChainStream API等高级解决方案。
Solana  数据流  WebSocket  Geyser插件  ChainStream API  RPC 
  • syndica
  • 发布于 2024-10-16
  • 阅读 ( 315 )

密码学基础：配对应用及其他

in  密码学101
本文介绍了配对（pairing）在加密技术中的应用，重点讨论了基于身份的密钥交换和签名方案。配对作为一种双线性结构，使得身份加密成为可能，并展示了如何在不需要传统公钥的情况下实现密钥交换和签名。
配对  身份加密  密钥交换  身份签名  双线性 

Home Assistant Add-on：Mosquitto broker

本文介绍了如何在 Home Assistant 中安装和配置 Mosquitto broker Add-on。该 Add-on 允许用户创建本地 MQTT 用户，配置 TLS 加密连接，并管理用户访问控制列表（ACL）以限制对 MQTT 主题的访问。同时，本文也提供了配置示例和支持资源链接。
Home Assistant  Mosquitto broker  MQTT  Add-on  用户配置  访问控制列表 

Starknet Cairo 中的可组合性和组件

Starknet Cairo 中的可组合性和组件
Cairo  Starknet 

密码学入门：多项式

本文介绍了多项式在密码学中的应用，特别是拉格朗日多项式在插值和冗余编码中的重要性。通过使用多项式，可以实现数据冗余和秘密共享等技术，提高数据传输和存储的安全性和可靠性。
多项式  拉格朗日多项式  插值  冗余编码  秘密共享  密码学应用 

热门Web3开发工具、编程语言、框架和安全性

本文介绍了五款主要的Web3开发工具，涵盖编程语言、框架、安全平台及钱包，旨在帮助区块链和智能合约开发者加快工作流程。通过对Solidity、Rust、Vyper等语言的分析，以及对Foundry、Hardhat等框架的讨论，读者能够了解到当前区块链开发的最佳实践和工具。文章还强调了安全性的重要性，并推荐了相应的安全平台和工具。
Web3  智能合约  编程语言  安全工具  区块链  开发框架 
  • Cyfrin
  • 发布于 2024-10-15
  • 阅读 ( 631 )

Solidity 复杂类型状态变量在 EVM 中存储布局

in  代理模式与 Delegatecall 规范手册
全面理解复杂类型的存储布局
EVM  存储布局 

Hermes：以太坊 Gossipsub 网络的监控轻节点 - 网络

Hermes 是一个 GossipSub 监听器和追踪器，用于基于 libp2p 的网络。它像一个轻节点一样工作，连接到网络中的其他参与者，并依赖于一个受信任的本地节点来确保可以回复任何传入的请求并保持稳定的连接。Hermes旨在测量任何基于 libp2p 的网络中 GossipSub 消息广播协议的效率和性能，可以帮助开发者调整其网络的协议，根据消息传播延迟和控制消息开销。
gossipsub  libp2p  以太坊  网络监控  消息传播  Hermes 

犯罪与加密货币：应对洗钱的具体措施

本文讨论了美国政府在打击加密货币相关的洗钱活动中的策略，强调洗钱活动本质上不是加密货币特有的问题，而是传统金融系统中的长期存在的问题。文章提出了三项建议：扩大财政部的执法能力、明确国外行为的管辖权，以及加强信息共享，以有效打击来自海外的不良行为者。
洗钱  加密货币  金融监管  执法能力  信息共享  国际经济权力法 

密码学基础：零知识证明（第一部分）

in  密码学101
本文介绍了零知识证明（Zero Knowledge Proofs, ZKP）的基本概念和应用，特别是Bulletproofs技术，用于证明某个数值是否在特定范围内。文章详细解释了ZKP的工作原理、协议设计以及数学实现，并通过一个简单的示例说明了如何在不泄露信息的情况下验证陈述的真实性。
零知识证明  Bulletproofs  Schnorr协议  范围证明  Pedersen承诺