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

范围证明

in  零知识证明之书
本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。
Bulletproofs  范围证明  内积证明  Monero  零知识证明 

pm-AMM：一种用于预测市场的统一自动做市商

文章介绍了一种新型的自动化市场制造商（AMM），名为pm-AMM，特别为预测市场定制。该AMM优化了结果代币的流动性，解决了现有AMM在这种特定市场中不理想的问题。文章详细探讨了pm-AMM的理论基础、模型和设计，包括静态和动态pm-AMM的构建，并提出了在其他资产如债券和期权上应用均匀AMMs的潜力。
自动化市场制造商  预测市场  结果代币  均匀AMM  Gaussian评分动态 

GossipSub主题观察（提议的GossipSub 1.3） - 网络

该提案旨在通过主题观察功能，在gossipsub网络中，允许节点在不实际接收消息内容的情况下，仅接收新消息的通知，从而减少带宽消耗。当节点希望观察某个主题时，会向该主题中的订阅节点发送观察请求，订阅节点在新消息到达时向观察节点发送通知，观察节点可以选择之后再请求完整的消息内容。
gossipsub  主题观察  带宽优化  网络协议  消息通知 

ICICLE V3.1：更多激情、更多能量、更多ZK性能

Ingonyama 发布了 ICICLE v3.1，这是一个位于 ZK 堆栈硬件和协议层之间的库，旨在优化 CPU 和 GPU 上的 ZK 算法性能。v3.1版本修复了多个bug，并增强了CPU后端性能，支持客户端后端和Sumcheck。未来还将添加Poseidon2哈希算法，目标是在CPU上超越Plonky3的性能。
ICICLE  零知识证明  CPU  GPU  zk-SNARK  性能优化 

（一）Let's Move共学，初学move，安装钱包，环境，本地编译合约上链

首先感谢Let'sMove共学，感谢HOH社区我会把详细的过程和注意的点都写上，适合和我一样的小白开始学习move安装钱包在我们的chrome浏览器中的应用市场，搜索sui，找到这个插件安装即可应用市场链接：https://chromewebstore.google.com/也可
Sui  Move  新手 
  • aimotee
  • 发布于 2024-11-06
  • 阅读 ( 1376 )
  • ( 15 )

Foundry forge 输出覆盖率测试报告

Foundry forge 输出覆盖率测试报告
测试工具  Foundry  Forge 

Foundry 单元测试

Foundry 单元测试
合约测试  Foundry 

关于Fluid DEX上智能抵押和智能债务如何运作的简单解释

本文详细介绍了Fluid DEX的创新机制，包括Smart Collateral和Smart Debt两个策略，分析了如何通过这两个策略在去中心化金融（DeFi）中实现收益。这些机制不仅帮助用户理解流动性提供的运作，还展示了通过借贷和交易获得的收益模式。
Fluid DEX  Smart Collateral  Smart Debt  去中心化金融  流动性提供  交易费用 

现代DEX - Curve StableSwapNG 是如何构建的

in  现代DEX
Curve的StableSwapNG是一个去中心化交易所（DEX）项目，旨在高效交易稳定资产。文章详细介绍了其核心组件、池工厂、流动性池、交易过程、动态费用、流动性管理、流动性测量以及实现细节，强调了其在DeFi中的应用和灵活性。通过使用多维不变曲线，StableSwapNG优化了资产交易，吸引了来自不同协议的流动性提供者。
StableSwap  流动性池  动态费用  流动性激励  DeFi  Curve 

以太坊二叉树笔记

本文探讨了以太坊L1层中二叉树的最新进展，对比了稀疏默克尔树（SMT）和前缀默克尔树（PMT）的优劣，并提出了优化SMT的存储、哈希计算等方面的策略。文章还介绍了状态数据编码方案，以及账户和存储槽的组织方式，同时讨论了哈希函数的选择和树的序列化方法，最后分析了Verkle树的现有进展在二叉树中的可重用性。
二叉树  默克尔树  以太坊  状态树  哈希函数  Verkle树 
  • jsign_
  • 发布于 2024-11-06
  • 阅读 ( 464 )

大幅减少带宽消耗的PeerDAS - 网络

该提案旨在减少PeerDAS的带宽消耗，通过让节点只订阅少量GossipSub主题（K=2），并结合主题观察机制，在剩余的S-K个列上只接收一份拷贝，从而将带宽消耗降低56.2%。同时，该提案还讨论了与IDONTWANT和Peer Sampling技术的比较，并提出可以与IDONTWANT结合以进一步优化带宽。
PeerDAS  gossipsub  带宽优化  主题观察  IDONTWANT  点对点采样 

PeerDAS 指标规范

本文介绍了PeerDAS Metrics Specifications项目，旨在通过统一的指标和集成的仪表板来提高PeerDAS的测试效率和研究能力。该项目专注于识别关键的PeerDAS指标，在共识客户端中标准化这些指标，并开发统一的Grafana仪表板以可视化这些指标，为开发人员、DevOps和研究团队提供实时洞察，从而快速识别问题并优化客户端性能。
PeerDAS  指标  grafana  以太坊  共识客户端  监控 

如何在 Solana 上使用 Typescript 铸造 NFT

本文详细介绍了如何使用TypeScript在Solana上铸造NFT，涵盖了从项目设置到上传图片和元数据，再到最终铸造NFT的完整步骤。
NFT  Solana  Typescript  Metaplex  SPL Token  Arweave 

以太坊的独特属性是硬度

文章介绍了以太坊作为一种提供“硬度”的新来源，这种硬度是指使未来更确定的能力。以太坊通过代码和数据提供保证，从而实现更大规模的协作，如货币、合约和治理。与机构和原子相比，以太坊具有去中心化、全球化、透明和审计性等优势，可以在机构无法触及的领域发挥作用，为人类文明的基础设施建设提供新选择。
以太坊  硬度  区块链  去中心化  合约  数据 
  • stark_
  • 发布于 2024-11-05
  • 阅读 ( 258 )

掌握Rust模式匹配：从基础语法到实际应用

in  Rust
掌握Rust模式匹配：从基础语法到实际应用本篇文章将探讨Rust编程语言中至关重要的特性之一——模式匹配。Rust语言的模式匹配功能强大，不仅能处理简单的值匹配，还能解构和操作复杂的数据结构。通过深入学习模式匹配，程序员可以更加高效地编写出清晰、简洁且易于维护的代码。Rust语言中的模式
Rust  Rust语法基础  编程语言  code  编程 

Rome Protocol ：连接 Solana 和以太坊，实现模块化区块链的未来

Rome Protocol 是一个互操作性框架，旨在连接 Solana 和 Ethereum 网络，通过将 Solana 模块化，使其能够与以太坊及其他区块链协同工作，从而利用 Solana 的速度和可扩展性以及以太坊的 DeFi 框架和开发者社区，Rome 旨在解决 DeFi 流动性孤立、可扩展性问题和跨链开发复杂性等挑战，实现更集成、可扩展和高效的多链生态系统。
互操作性  Solana  Ethereum  跨链  模块化  DeFi 
  • tobs.x
  • 发布于 2024-11-05
  • 阅读 ( 524 )

通过随机线性组合减少等式检查（约束）的数量

in  零知识证明之书
本文深入探讨了如何在零知识证明算法中利用随机线性组合来有效地检查多个等式的相等性。通过实例展示了Pedersen承诺的等式验证过程，并提出了一种减少通信开销的方法。这种技术能够实现对多个内积同时进行验证，从而提高效率。
零知识证明  Pedersen承诺  随机线性组合  内积  安全性分析  Bulletproofs 

【zkMIPS系列】Poseidon hash设计流程 & 代码

in  zkMIPS解读
Poseidon哈希函数原理
  • ZKM
  • 发布于 2024-11-05
  • 阅读 ( 1519 )
  • ( 18 )

3-Slot 最终性：SSF 并非关于“Single” Slot 的共识

本文介绍了一种名为3-Slot Finality (3SF) 的协议，旨在在网络延迟有界的情况下，使诚实提议者提出的区块在3个 slot 内完成最终确认。
Single-Slot Finality  3-Slot Finality  以太坊  共识协议  区块确认  RLMD-GHOST 

以太坊协议可能的未来 #1：The Merge

以太坊协议可能的未来 #1：The Merge
以太坊升级  SSF