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

深度解析：Solana DApps 收入 - 2025年1月

该报告分析了2025年1月Solana生态DApps的收入情况，Solana DApps占据了所有链上DApp总收入的75%，成为收入最高的区块链。Pump.fun作为Solana收入最高的DApp，而Moonshot和Jupiter也实现了显著的收入增长。此外，Telegram Bot和Vector.fun等平台也实现了收入新高。
Solana  dApps  收入  pump.fun  Jupiter  Memecoin 
  • syndica
  • 发布于 2025-02-19
  • 阅读 ( 414 )

密码学基础：环（Ring）上学习错误问题

in  密码学101
本文介绍了环学习错误（Ring Learning With Errors, RLWE）这一加密技术的基础概念，讨论了基于多项式环的加密方法及其安全性，并探索了RLWE与格密码（Lattice-based Cryptography）之间的联系。
RLWE  多项式环  格密码  加密  后量子密码学 

超越L2的成熟度：构建安全区块链Rollups的形式化方法 - ZKSECURITY

本文介绍了zkSecurity与Matter Labs合作发布的关于区块链Rollups安全性的论文，该论文提出了一个形式化模型来分析不同的安全机制。文章讨论了Rollups的安全性，并对论文内容进行了初步介绍，强调了Rollups在以太坊未来发展中的核心作用，以及形式化分析对于确保Rollups安全性的重要性，并提出了强制交易、安全黑名单和可升级性这三个关键机制。
Rollup  区块链  安全性  形式化模型  L2BEAT  强制交易  零知识证明 

bip-0143.mediawiki 的历史记录 - jl2012/bips

该文档是关于比特币改进提案（BIP）仓库的提交历史，特别是关于BIP143的修订。BIP143旨在改进比特币的签名哈希方案，以提高效率和安全性。提交记录显示了对BIP143的多次修订，包括修复错误、添加示例、明确语义以及更新相关链接。
BIP143  签名哈希  比特币改进提案  脚本  交易 
  • jl2012
  • 发布于 2025-02-19
  • 阅读 ( 448 )

Web3与Solana实操指南：如何签名与发送交易

in  Solana
Web3与Solana实操指南：如何签名与发送交易Web3技术作为新一代互联网的核心架构，正在快速改变着传统的网络生态。而Solana作为一种高效、快速的区块链平台，已经成为众多开发者的首选。在这篇文章中，我们将通过实际操作，带你深入了解如何在Solana网络上进行Web3交易。我们将介绍如何生成
Web  Solana 

掌握SP1 zkVM设计 - 第二部分：核心证明的AIR约束

本文深入探讨了SP1 zkVM设计中的核心证明及其约束系统，详细介绍了如何使用AIR（代数中间表示）来表示计算过程，并通过多项式约束确保状态转移的正确性。文章还介绍了SP1 zkVM中的预编译技术，用于加速常见操作如哈希计算和椭圆曲线运算。
SP1 zkVM  AIR  STARK  FRI算法  Plonk算法  预编译 
  • gavin.ygy
  • 发布于 2025-02-19
  • 阅读 ( 1440 )
  • ( 16 )

分析Solana链上数据：工具与仪表板

本文介绍了如何利用各种工具和分析平台来获取和分析Solana链上数据。文章详细讲解了Solana的RPC服务、实时数据流工具、历史数据分析工具、自定义索引工具以及区块浏览器，帮助开发者和分析师更高效地处理链上数据。
Solana  RPC  Geyser  Block Explorers  SQL  Data Analysis 
  • Helius
  • 发布于 2025-02-19
  • 阅读 ( 3224 )
  • ( 77 )

bips/bip-0012.mediawiki，位于 ajtowns/bips 的 bip-anyprevout

该BIP (Bitcoin Improvement Proposal) 提议引入一个新的操作码 OP_EVAL，旨在允许比特币的接收者指定重新花费这些比特币所需的交易类型，从而实现端到端安全钱包，并支持对旧客户端和矿工具有后向兼容性的复杂交易。
OP_EVAL  操作码  脚本系统  软分叉  交易类型 
  • ajtowns
  • 发布于 2025-02-19
  • 阅读 ( 366 )

Solana 市值管理机器人：如何优化代币市场表现？

Solana 市值管理机器人，提供自动拉盘、智能砸盘、交易量优化和 K 线管理，助力代币稳步增长，提升市场活跃度。

Chainlink--CCIP--NFT 讲解

代码详情：https://github.com/langjiyunmie/Chainlink-CCIP.git chainlink学习的官方视频链接：https://www.bilibili.com/video/BV1RFsfe5Ek5/

密码学入门：阈值签名

in  密码学101
本文详细介绍了阈值签名（Threshold Signatures）的工作原理，这是一种多方参与的签名方案，允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤，并讨论了多项式和椭圆曲线在其中的应用。
阈值签名  多项式  椭圆曲线  多方计算  VRSS  ECDSA 

椭圆曲线深入解析（第二部分）

in  密码学101
本文深入探讨了椭圆曲线密码学中椭圆曲线的定义和操作，特别是如何通过有限域和模运算在离散环境中进行点加和倍点操作，并介绍了射影坐标系的优势。
椭圆曲线  有限域  模运算  射影坐标  密码学  点加 

新手指南：如何使用加密桥（2025年教程）

这篇文章是新手指南，详细介绍了如何使用加密桥进行资产转移，包括常见步骤和常见错误，同时强调了Across桥的优势，如快速、低费和安全性，为用户提供了关于跨链资产转移的实用信息。
加密桥  跨链资产转移  Across桥  交易费用  跨链 
  • across
  • 发布于 2025-02-18
  • 阅读 ( 934 )
  • ( 3 )

区块构建环节

本文讨论了以太坊中区块构建过程，以及如何通过机制设计来优化效率、链中立性和共识参与者的去中心化。文章介绍了三种机制：Inclusion Lists (ILs)、Attester-Proposer Separation (APS) 和 Concurrent Block Proposers (CBP)，并分析了它们在区块共同创建游戏中的作用以及组合方式，旨在为以太坊设计最佳的区块构建流程。
区块构建  Inclusion Lists  Attester-Proposer Separation  Concurrent Block Proposers  MEV  链中立性 
  • efdn__
  • 发布于 2025-02-18
  • 阅读 ( 161 )

密码学基础：同态与同构

in  密码学101
文章介绍了密码学中的同态(Homomorphism)和同构(Isomorphism)概念，并通过椭圆曲线群的例子展示了同态加密的基本原理及其在ElGamal加密系统中的应用。
同态  同构  椭圆曲线  ElGamal加密  同态加密 

关于 Solana 本地费用市场的真相

费用市场是经济机制，旨在通过动态调整交易费用有效分配稀缺的区块空间给最高价值的交易。
Solana  费用 
  • Helius
  • 发布于 2025-02-18
  • 阅读 ( 3037 )
  • ( 22 )

Safeguard：一个强大的Geth扩展工具，用于实时监控关键智能合约不变性

本文介绍了Safeguard，一个新的开源Go以太坊扩展工具，旨在通过实时监控关键协议不变性和违规行为，帮助开发者及协议在去中心化金融（DeFi）领域防止智能合约漏洞及资金损失。文章讨论了Safeguard的优势、应用实例及未来的发展方向，强调了其在保障DeFi协议安全性方面的重要性。
智能合约  Safeguard  实时监控  不变性  去中心化金融  安全 
  • Certora
  • 发布于 2025-02-18
  • 阅读 ( 688 )

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

in  密码学101
本文介绍了如何使用zkSNARK（如Plonk）构建算术电路来进行零知识证明，特别是范围证明和集合成员证明。通过具体的例子，展示了如何将数学表达式转化为电路，并讨论了其中的技术和挑战。
zkSNARK  PLONK  范围证明  集合成员证明  算术电路  零知识证明 

Arweave/AO 生态精粹 Week 7｜Arweave/AO 生态精粹 Week 7｜PermaBrawl 竞赛、$FFP 经济白皮书、Permaswap TVL 突破 300 万美元、Aolo

AO 生态精粹 Week 7｜PermaBrawl 竞赛、$FFP 经济白皮书、Permaswap TVL 突破 300 万美元、Aolotto 第二次分红

ICICLE V3.5：带有 Lambda 函数的 Sumcheck

ICICLE V3.5 版本引入了完全 CUDA 优化的非交互式 Sumcheck 协议实现，可用于多线性多项式的任意函数。
Sumcheck协议  CUDA  ICICLE  零知识证明  多线性扩展  Fiat-Shamir