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

引介 Constantine - 用于证明系统和区块链协议的高性能密码学开源库

Constantine是一个高性能密码学库，专注于区块链协议和零知识证明系统。它提供常数时间实现的密码学原语，支持多种椭圆曲线和协议，包括以太坊BLS签名、KZG承诺等，并提供Nim、C、Rust、Go等多种语言的接口。该库旨在提供快速、紧凑和强化的椭圆曲线密码学解决方案。
密码学  椭圆曲线  零知识证明  BLS签名  KZG承诺  常数时间 
  • mratsim
  • 发布于 2025-04-17
  • 阅读 ( 1718 )
  • ( 53 )

Builder Playground - 快速搭建区块链的本地测试环境

Flashbots 发布了 Builder Playground，这是一个开源框架，用于快速启动 L1 和 L2 的全面区块构建测试环境。它通过简化部署、优化性能和降低认知负荷，解决了现有工具在速度、灵活性和复杂性方面的挑战，旨在提高区块构建测试的效率和可靠性。
区块构建  测试环境  L1  L2  Flashbots  Builder Playground 
  • flashbots
  • 发布于 2025-04-17
  • 阅读 ( 1512 )
  • ( 35 )

FullDAS：面向使用32MB及以上区块的大规模可扩展性 - 分片

本文提出了FullDAS，一种用于数据可用性抽样（DAS）的网络堆栈，旨在支持32MB及以上的大区块。FullDAS通过优化数据分散和抽样过程，包括liteDAS抽样协议、主题路由、改进的连接机制以及2D编码等技术，旨在实现快速、高效和稳健的数据可用性，从而解决当前网络堆栈在处理大数据块时遇到的瓶颈问题。
数据可用性抽样  DAS  FullDAS  liteDAS  gossipsub  2D编码 

关于自治软件

本文评论了 Lane Rettig 的文章《Autonocrats and Anthropocrats》，将中心主题与社会科学中的两个基本概念——法治和社会结构联系起来。作者认为区块链网络可以看作是社会本身，强调了技术系统（包括自治软件）会发展出超出其创造者控制的影响。文章还讨论了自治软件中“终止开关”的必要性，以及技术在社会结构中的作用。
法治  社会结构  自治系统  区块链网络  社会事实  算法 

Web3智能合约 -- create2 底层原理与实现机制

CREATE2是以太坊的一条EVM指令，用于部署智能合约。与传统的CREATE指令不同，CREATE2允许通过计算得到合约地址，而不是依赖发送方的nonce。这种方式使得合约地址在部署之前就可以被预测，方便一些高级用例，例如「工厂模式」和「合约钱包的预部署地址」。
CREATE2 
  • Dapplink
  • 发布于 2025-04-16
  • 阅读 ( 876 )
  • ( 2 )

Animecoin 动漫经济2030

本文探讨了Animecoin如何将动漫粉丝转变为共同所有者，构建一个链上经济，并且探讨在不扼杀粉丝文化魔力的情况下，如何设计一个由粉丝驱动的链上经济。文章分析了Animecoin通过激励机制、治理结构和社区建设，在粉丝激情和经济利益之间取得平衡，并避免社区分裂和衰退的策略，最终描绘了Animecoin在2030年可能实现的动漫经济生态。
Animecoin  DAO  代币经济  治理  粉丝经济  NFT 
  • 4pillars
  • 发布于 2025-04-16
  • 阅读 ( 559 )
  • ( 10 )

KiloEx 漏洞分析：跨链损失 740 万美元

KiloEx 是一个多链永续合约协议，部署在 BNB、Base、opBNB 和 Manta 链上。2025年4月14日，KiloEx 遭遇攻击，损失达740万美元。攻击者利用用户合约中缺乏验证的漏洞，通过伪造签名和操纵价格，获利后迅速转移资金。
KiloEx  多链永续合约  安全漏洞  价格操纵  资金转移  MinimalForwarderContract 

在 Backpack 钱包中使用带有 Helius 的自定义 Solana RPC

本文介绍了如何在 Backpack 钱包中使用自定义 Solana RPC，以提高速度和可靠性，尤其是在使用 Devnet 或 Mainnet 进行开发时。文章详细说明了如何注册 Helius 并获取 API 密钥，以及如何在 Backpack 钱包中配置和切换到自定义 RPC URL。此外，还包括了获取免费 Devnet SOL 代币的方法和安全提示。
Solana  RPC  Backpack 钱包  Helius  Devnet  Mainnet  API 密钥 

如何在Monad上创建Blinks

本文介绍了如何在Monad测试网上使用Blinks创建一个NFT minting界面。结合Monad的高性能和Blinks的可嵌入链接特性，简化了用户与区块链NFT的交互流程。文章详细阐述了Blinks的架构，并指导开发者如何配置Monad scaffold项目，将NFT minting逻辑集成到Blink中，最终实现通过一个可分享的URL直接在用户的钱包中完成NFT铸造。
Monad  Blinks  NFT  EVM  智能合约  测试网 
  • QuickNode
  • 发布于 2025-04-16
  • 阅读 ( 1008 )
  • ( 24 )

Payjoin 的演化：从两方协议到多方框架

Payjoin 是一种改进比特币交易的协议，旨在提高隐私、效率和可扩展性。文章回顾了 Payjoin 的演进过程，从 Pay-to-Endpoint 和 Bustapay 到 Payjoin V1 和 V2，并展望了未来多方 Payjoin V3 的发展方向，包括多方参与的UTXO归集，以及在闪电网络中的应用，例如通道注资、开启和关闭等，并提出了Payjoin V3 实现的四阶段路线图。
payjoin  比特币交易  隐私  可扩展性  UTXO  多方交易 

零时科技 || 深入 Bybit 攻击事件 Part1 - 关于 Safe｛Wallet｝

我们监测到 Bybit Cold Wallet 发起⼀笔⼤额转账，转出 401,346 ETH 价值约 1.5 BillionUSD 。经过多⽅确认，确定这是⼀起针对 Bybit 的攻击。
黑客攻击  攻击事件  web3安全 

管理钱包

本文档详细介绍了比特币核心钱包的管理，包括创建、加密、解锁、备份和恢复钱包的步骤，以及钱包口令的重要性。同时还介绍了将旧版钱包迁移到描述符钱包的方法，以及迁移后可能产生的新钱包。
比特币  钱包  加密  备份  恢复  描述符钱包  密钥 
  • bitcoin
  • 发布于 2025-04-16
  • 阅读 ( 472 )

L1区块链堆栈：Avalanche对比Cosmos

本文对比了Avalanche和Cosmos两种区块链架构，探讨了它们的共识机制、互操作性方案以及实际应用。Avalanche通过子网实现可定制的L1，而Cosmos则通过IBC协议连接独立的链。两者在EVM兼容性、采用和用例方面各有侧重。
Avalanche  Cosmos  互操作性  区块链架构  AWM  IBC协议 
  • gelato
  • 发布于 2025-04-16
  • 阅读 ( 547 )
  • ( 7 )

入门以太坊的编程的第一步 - Solidity 基本语法

in  小白专享-图解以太坊编程
**本文用简洁的语言，通过最少的代码、丰富的示例图，来清晰地呈现Solidity语言的语法特性。帮助你一小时之内熟悉 Solidity 的语法特性，适合初学者学习借鉴。**

如何放弃 Solana 代币权限-提高去中心化程度

在Solana链上管理代币时，放弃不必要的权限能大大提升代币的去中心化程度，增强项目的透明度和社区的信任。开发者或项目方可以通过SlerfTools工具轻松放弃代币的权限，比如更新权限、冻结权限和铸币权限。

比特币 - JSON-RPC接口 - Bitcoin

本文档介绍了Bitcoin Core的JSON-RPC接口，包括可用端点、参数传递方式、版本控制、JSON-RPC协议版本（1.1 vs 2.0）、安全注意事项、RPC一致性保证以及一些限制。强调了通过RPC接口控制Bitcoin Core的风险，并提供了安全配置建议，以减少潜在的滥用风险。
json-rpc  API  比特币  安全  身份验证  端口  Bitcoind 
  • bitcoin
  • 发布于 2025-04-16
  • 阅读 ( 392 )

Circom 零知识电路简介

in  零知识证明之书
本文介绍了 Circom 编程语言，它用于创建 Rank 1 Constraint Systems (R1CS) 并填充 R1CS 的 witness 向量，主要是为了简化约束系统的设计和自动化 witness 的生成。文章还解释了 Circom 存在的意义，以及它如何帮助开发者更轻松地进行零知识证明相关的开发，最后说明了学习 Circom 的理由，并概述了资源结构，包括语法和约束设计。
circom  R1CS  SNARKs  Groth16  零知识证明  约束系统 

Circom 之 Hello World

in  零知识证明之书
本文介绍了Circom代码与其编译成的Rank 1 Constraint System (R1CS)之间的关系，并通过几个例子详细解释了如何在Circom中编写约束，以及如何使用Circom命令行工具编译电路、生成witness，并验证电路的正确性。文章还介绍了zkRepl在线IDE的使用，以及Circom中有限域的概念，以及如何将snarkjs导出的R1CS约束转换为Circom中的原始约束。
circom  R1CS  zk-SNARK  零知识证明  约束系统  有限域 

Circom模板参数、变量、循环、If语句、断言

in  零知识证明之书
本文介绍了Circom中定义Rank 1约束系统(R1CS)的基本语法，包括模板参数的使用、循环和变量的声明与应用、以及如何在满足特定条件时生成约束。此外，还强调了在Circom中约束必须是静态的，不能依赖于信号动态改变，但变量可以作为常量参与R1CS运算，并解释了`if`语句在Circom中的使用限制，着重介绍了 variables 的使用方法，以及 signals 的使用限制。
circom  R1CS  约束系统  模板参数  信号  变量  zk-SNARKs 

二次约束 - Circom

in  零知识证明之书
本文介绍了Circom中Rank 1约束系统的规则，即每个约束最多只能有一个信号间的乘法，超过则会报错。文章通过正反例解释了这一规则，并说明了常量乘法、加法、减法是被允许的。此外，还解释了Circom如何处理除法，以及为何数组索引、模运算、左移等操作不被允许。最后总结了约束系统的限制，并提及了绕过这些限制的设计模式。
circom  约束系统  R1CS  算术化  二次约束  信号