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

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

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

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

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

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
  • 阅读 ( 484 )
  • ( 3 )

密码学基础：同态与同构

in  密码学101

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

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

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

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

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

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

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 

【Rust 基础入门】(09) | 数组、Hashmap

in  Rust 基础入门指南：为 Solana 合约学习铺路

本文介绍了 Rust 中的数组（静态数组和动态数组）和 HashMap 的基本概念、创建方法、操作及其内部机制，包括数组的固定长度与动态扩展、HashMap 的键值对存储与扩容策略。
Rust  Rust 入门  Rust 基础  Rust语法基础 
  • 0xE
  • 发布于 2025-02-18
  • 阅读 ( 821 )
  • ( 11 )

区块链安全常见的攻击分析——存储冲突漏洞（Storage Collision Vulnerability）【16】

1、存储冲突漏洞（StorageCollisionVulnerability）在代理合约模式中，代理合约和逻辑合约共享同一存储空间。当代理合约将调用委托给逻辑合约时，逻辑合约中的变量实际写入的是代理合约的存储槽位。如果代理合约和逻辑合约都在槽位0存储关键数据（例如代理合约存储实现地址，而逻
  • XUYU
  • 发布于 2025-02-18
  • 阅读 ( 1103 )
  • ( 43 )

Optimism Retro Funding：Onchain Builders 任务详情

in  Optimism 中文力量

精炼要点目标:奖励推动跨链资产转移并促进Superchain增长的项目。时间:2月13日–7月31日。预算:最多800WOP。奖励发放:每月发放，从3月开始。基本要求：至少1000次交易，至少420个合格地址（没有机器人），至少10个不同的链上活动日

AMM中的路由革命 - Uniswap V4中的Hook与最佳交易执行 - 一篇论文评审

Uniswap V4引入了Hooks，使得流动性池可以进行更复杂的操作，例如动态调整费用和链上限价单。最近的研究探讨了如何在这种新环境下进行最佳交易路由，提出了一些案例研究和数学框架，显示Hooks的使用可以极大提高DeFi市场的执行效率和灵活性。
uniswap v4  Hooks  CFMM  交易路由  动态编程  矩阵决策过程 
  • thogiti
  • 发布于 2025-02-18
  • 阅读 ( 383 )
  • ( 3 )

Optimism Retro Funding:Dev-tooling

in  Optimism 中文力量

RetroFunding:DevTooling奖励工具链软件，如编译器、库和调试器，这些工具帮助开发者在Superchain上开发链上应用程序。时间表:该计划将在2月5日至7月31日期间进行。申请时间:请在每月的申请截止日期前申请，您的项目将从下个月开始评估奖励。

跨超级链的协作分析

in  Optimism 中文力量

Optimism通过实现快速、低成本的交易来扩展以太坊，同时继承了以太坊的安全性并保持了去中心化。

Optimism 中文周刊 #49

in  Optimism 中文周刊

OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。