本文对F Foundation的FCHAIN智能合约进行了审计,重点分析了其验证者注册和质押机制,揭示了一些关键的安全漏洞和优化建议。本文还详细描述了相关的重大问题和审计过程中的信任假设,建议F Foundation团队关注Ava Labs的最新进展,以便及时调整和改进其合约代码。
文章讨论了链抽象技术在统一以太坊用户体验和开发者体验方面的潜力,以及当前实现这一目标的主要障碍:应用无法感知用户跨链资产。提出了ERC-7811标准,旨在通过JSON-RPC方法让钱包共享用户的完整资产列表,从而解决该问题。文章还探讨了ERC-7811实施的挑战,以及替代方案ERC-7683。
本文对以太坊 zkEVM 上的预编译操作进行了审核,涵盖了 ModExp、ECAdd、ECMul 和 ECPairing 操作及其对应的零知识电路构造。审查重点在于算法实现的正确性、输入验证、边界条件处理以及计算逻辑向电路约束的正确转换。虽然发现了一些优化和最佳实践方面的问题,但总体而言,代码库展现了对安全问题的良好关注。
Zama 发布了 TFHE-rs v1.1 版本,GPU 后端升级,采用与 CPU 相同的默认加密参数,降低了计算错误的概率。多 GPU 支持也得到了显著改善,开发者可以选择要使用的 GPU,在 8×H100 GPU 上每秒可进行接近 500 次加密的 64 位加法。CPU 方面,此版本通过支持更多标量情况扩展了运算符集,从而使同态计算更加通用和高效。
Zama发布 Concrete ML v1.9 版本,该版本支持 TFHE-rs 密文格式,支持开发者使用 Rust 生态系统进行加密机器学习工作流程,能够将 Concrete ML 模型无缝集成到基于 Rust 的 FHE 管道中。同时,LoRA LLM 微调协议也得到了性能上的改进,并推出了新的 SDK,旨在构建支持 FHE 的浏览器和移动应用程序,使移动用户能够安全地处理敏感数据。
比特鹰是国内领先的Web3+AI公司,欢迎大家投递简历。
在数字原住民数量突破全球人口四成的今天,人类正在经历文明史上的重大范式转移。Web3.0元宇宙作为下一代互联网的终极形态,正在突破虚拟与现实的边界,构建超维度的数字新世界。这个由区块链、人工智能、XR技术共同铸造的平行宇宙,不仅是技术革命的集大成者,更是数字经济新纪元的操作系统。一、Web3.0时
本文探讨了高价值Safe智能账户的安全操作指南,包括推荐的安全配置、签名过程以及人员培训等方面。文中强调了针对特定攻击的多种预防措施和安全策略,以确保高价值安全账户的有效操作和减少人为失误的风险。
这篇文章深入探讨了以太坊的Safe智能账户(Safe Smart Accounts)的基础知识,涵盖了定义、架构、关键功能及其与多重签名和元交易等概念的关系。文章提供了详细的术语说明,并分层次地展示如何安全地操作和管理高价值的安全智能账户,同时为后续的安全最佳实践奠定了基础。
近日,区块链媒体CCN刊登了CertiK首席安全官WangTielei博士的文章,深入剖析了AI在Web3.0安全体系中的双面性。文章指出,AI在威胁检测和智能合约审计中表现出色,能显著增强区块链网络的安全性;然而,若过度依赖或整合不当,不仅可能与Web3.0的去中心化原则相悖,还可能为黑客打开
如何学好英语?
热钱包与冷钱包是区块链资产管理中根据私钥是否联网的安全分类方式,它们各自有不同的安全特性、使用场景和适用人群。
Ethers.js实战:带你掌握Web3区块链开发Web3时代已来,区块链开发成为技术圈的热门技能。如何快速上手与以太坊交互?Ethers.js作为一款轻量又强大的工具,能帮你轻松搞定查询、交易和智能合约部署。本文通过一个实战脚本,带你一步步掌握Web3区块链开发的核心技能,无论你是
2025年meme币板块可是持续升温,甚至有报道指出,Solana的gas收入已经超过了ETH的了。从doge、pepe,到Trump、ElonMusk等热点人物概念,无时无刻不在炒作,表面上看,这类token虽然没有内在价值支撑,但靠社区情绪与叙事传播,就是很多人从中赚了不少钱,其中
本文介绍了OpenZeppelin最新发布的开源Relayers和Monitor工具,旨在为区块链开发者提供更高的自定义和灵活性。Relayers支持各种自动化交易需求,而Monitor则用于实时监控区块链活动,两者均有助于提高开发效率。文章还讨论了这些工具在Solana和Stellar网络的应用,并鼓励开发者参与反馈和建议。
文章讨论了在私募股权通证化中,保密性的重要性,以及全同态加密(FHE)等隐私保护技术如何实现保密。文章指出,私募股权的私有性是其本质,投资者和公司都不希望敏感信息公开。FHE允许在加密数据上进行计算,从而在不泄露敏感信息的情况下,进行资格证明、收益分配和治理投票。Zama正在与OpenZeppelin和Inco合作开发保密的ERC-20通证标准。
Aptos Labs 致力于将世界经济引入链上,旨在创建一个更易访问且高效的全球经济体系。通过交易原语、性能升级以及用户和开发者体验的提升,Aptos 正在构建全球交易引擎,实现所有资产的代币化交易和无国界资本市场的目标。Aptos在稳定币支持、生态系统增长、技术改进和网络性能方面取得了显著进展,并计划通过引入新的交易机制和性能优化来进一步提升其在全球交易中的地位。
本文介绍了 Iroh,一个用于轻松建立可靠p2p连接的分布式系统工具包,它包含用于建立直接连接、移动数据、同步状态和可插拔应用程序级协议的工具。Iroh 的目标是让用户更容易地构建分布式系统,并解决了许多技术挑战。文章还包含对Iroh团队成员的采访,深入探讨了 Iroh 的设计理念、Quic协议的使用、以及与其他P2P技术的对比。
本文将介绍在 PancakeSwap 上发射代币的同时,通过同一区块内多笔交易的捆绑发射实现快速买入的原理、步骤和潜在优势。
扫一扫 - 使用登链小程序
115 篇文章,595 学分
389 篇文章,472 学分
167 篇文章,385 学分
67 篇文章,362 学分
120 篇文章,321 学分