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

在网页中创建你自己的对称密钥密码

本文介绍如何在网页中使用 JavaScript 创建一个简单的对称密钥密码，使用 AES GCM 加密算法。文章提供了一个HTML代码示例，展示了密钥生成、消息加密和解密的过程，并给出了在线演示链接。
AES GCM  对称加密  JavaScript  Web Cryptography  密钥生成  加密  解密 

什么是代币化房地产？

本文介绍了tokenized real estate（代币化房地产）的概念，即将房地产或其现金流表示为区块链上的token，以提高流动性、简化流程并实现数字所有权。文章探讨了代币化房地产的多种形式，包括使用NFT表示单个房产、使用动态NFT更新房产信息、将房产分割成多个token以实现部分所有权，以及token化现金流以解锁流动性。此外，还讨论了代币化房地产的优势以及面临的技术挑战。
代币化房地产  NFT  区块链  房地产  通证化  Chainlink 

特朗普发币的影响与以太坊的内忧外患

in  小猪Web3
以太坊必须要立刻行动，以应对内部基金会的管理问题和外部 Solana 的竞争压力，不能空谈技术和理想，而忽略用户和市场。
  • Pignard
  • 发布于 2025-02-04
  • 阅读 ( 937 )

以太坊 - Proto-Danksharding (Deneb & Electra) - Manunalepa

本文深入探讨了以太坊的Proto-Danksharding (EIP-4844)，重点介绍了blobs的概念及其在以太坊rollup中的应用，分析了blobs的特性，包括成本效益、大小限制和生命周期，讨论了blob费用机制，以及增加blob数量以提高layer2扩展性的挑战，最后引入了分片和数据可用性抽样(DAS)的概念，以应对这些挑战。
EIP-4844  Proto-Danksharding  blobs  Rollup  KZG承诺  分片 

以太坊 - 如何使用QuickNode SDK审计ERC20、ERC721和ERC1155代币活动 - Quicknode

本文介绍了如何使用QuickNode SDK和JavaScript对EVM兼容链（如Ethereum和Avalanche）进行钱包地址的彻底审计。提供了详细的步骤和代码示例，包括如何提取ERC20、ERC721和ERC1155代币的交易活动，涵盖了项目设置、库依赖、功能实现及结果检查。
QuickNode SDK  JavaScript  ERC20  ERC721  ERC1155  区块链审计 

Yala：释放比特币流动性的巨大潜力

本文分析了比特币在金融市场中的应用现状，指出现有比特币DeFi的局限性，并介绍了Yala项目如何通过发行BTC支持的稳定币YU，安全高效地利用比特币的巨大流动性，并详细描述了Yala的运作机制、用户流程以及与其他重要项目的合作。
比特币  DeFi  稳定币  Yala  BTC质押  跨链 

理解擦除编码（Erasure Coding） - 数学基础的深度探讨

本文深入探讨了消除编码（Erasure Coding）的原理和实现，特别是在去中心化区块链和数据存储系统中的应用。通过详细的数学基础和编码、解码过程的示例，展示了消除编码如何提供数据的高可用性、降低存储成本，并增强安全性，适应未来的存储挑战。
消除编码  区块链  数学基础  有限域  高可用性  数据安全 
  • thogiti
  • 发布于 2025-02-03
  • 阅读 ( 1647 )
  • ( 6 )

随机数值 — 在浏览器中

本文介绍了在浏览器中使用Web Cryptography API生成随机数的方法。通过Crypto.getRandomValues()函数，可以生成伪随机数，该函数使用用户代理提供的最佳熵值进行初始化，并从平台指定的随机数源（如Linux系统的/dev/urandom）中获取种子。文章提供了一个示例代码，展示了如何生成指定数量的随机数，并将其以整数和十六进制格式显示出来。
随机数生成  Web Cryptography API  Crypto.getRandomValues()  伪随机数  Uint32Array  /dev/urandom 

震撼来袭！Rust+Rig 魔法配方，打造 AI 驱动 Discord 神器

in  用 Rig 打造你的专属 AI Agent
TL;DR:本综合指南将带你使用Rust和Rig库创建一个AI驱动的Discord机器人。你将学习如何设置环境、构建语言模型代理并将其与Discord集成。最终，你将拥有一个AI驱动的聊天机器人，它可以根据你的文档回答问题、提供编程帮助，并作为自动化支持工具。介绍欢迎来到“使用Rig构
Rust  Rig  LLM  AI Agent 
  • King
  • 发布于 2025-02-03
  • 阅读 ( 1965 )
  • ( 16 )

密码学 - Stwo WebGPU - Xm9Z2P8Ssis1W Rv1O0Uda

本文对Stwo Poseidon AIR进行了基准测试，主要针对WebGPU上proving过程中最耗时的trace生成、trace插值、trace扩展和组合多项式评估等操作进行了性能分析和优化。
WebGPU  零知识证明  Poseidon  性能优化  GPU加速  zk-SNARK 

OpenZeppelin Monitor - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Monitor，它是一种区块链监控服务，可以实时监控链上活动，并根据配置的条件触发通知。
区块链监控  实时监控  智能合约  EVM  Stellar  安全通知 

谨慎日志合约工厂

本文介绍了一种无需链上交易即可创建和延长谨慎日志合约（DLCs）的比特币交易范式，称为DLC工厂。DLC工厂通过链下方式无限制地扩展合约，允许创建类似金融期权和稳定币的金融工具，且不引入新的受信任第三方，只需一个被动的断言机。文章详细描述了交易流程、建立流程、结算方式以及惩罚机制，并分析了其优缺点，最后对比了DLC工厂与DLC通道的差异。
谨慎日志合约  DLC  DLC 工厂  适配器签名  断言机  链下合约 

什么是冷存储加密钱包？

这篇文章详细介绍了加密货币冷存储钱包的概念及其运作原理，强调了冷钱包在防范网络攻击和保护数字资产安全方面的重要性。文章涵盖了冷钱包的类型、优缺点，并将其与热钱包进行了比较，为用户选择适合的存储方式提供了指导。
冷存储钱包  热钱包  硬件钱包  安全性  加密货币  数字资产 
  • Cyfrin
  • 发布于 2025-02-02
  • 阅读 ( 1017 )

AAVE 和 Compound 分叉：空池攻击

本文探讨了在 DeFi 生态系统中为了提高安全性的重要性，分析了 Compound 和 AAVE 协议的共享代币（interest-bearing tokens）在被分叉时可能面临的安全风险和漏洞，特别是空池攻击及其详细的攻击步骤。文章还提出了针对这些攻击的防范措施，包括确保池子流动性和ROUNDING优先处理机制。
DeFi  Compound  Aave  空池攻击  安全性  共享代币 
  • mixbytes
  • 发布于 2025-02-02
  • 阅读 ( 1056 )
  • ( 11 )

高性能区块链中的主导资源公平性 - 超越EIP-1559的多维飞跃

本文探讨了如何将Dominant Resource Fairness（DRF）引入Solana的动态费用模型，以处理多资源瓶颈带来的复杂性。文章深入分析了DRF的基本原理及其适用于区块链的优势，强调了通过调整费用来实现多维公平性的策略，并详细讨论了实现中的挑战与潜在研究方向。
Dominant Resource Fairness  区块链费用模型  多资源分配  Solana  动态基础费用  理论基础 
  • thogiti
  • 发布于 2025-02-02
  • 阅读 ( 728 )

探索自动化做市商 (AMM)

这篇博文主要介绍了自动化做市商(AMM)的经济学、机制的正式化、比较不同AMM协议以及安全考虑。文章探讨了AMM在去中心化交易平台中的重要性，以及其工作原理、参与者、资产类型和潜在缺陷，并详细论述了不同AMM如Uniswap和Balancer的机制。同时，还提到了闪电贷攻击、价格三明治攻击等可能的安全风险及应对策略。
自动化做市商  去中心化交易  流动性提供者  价格模型  安全风险  Uniswap 

探索以太坊原生Rollup - L1与L2的融合

本文深入探讨了原生rollups的概念，旨在简化以太坊的L1和L2之间的互动，提出了一种新的`EXECUTE`预编译指令，允许以太坊直接验证L2事务，从而消除对EVM的重新实现，减少安全风险和治理成本，并提升最终性。通过对当前L2解决方案面临的挑战的分析，文章展示了这种新方法可能带来的优势与技术挑战。
原生rollups  以太坊  EVM  EXECUTE预编译  零知识证明  安全 
  • thogiti
  • 发布于 2025-02-02
  • 阅读 ( 576 )
  • ( 3 )

Web3 极客日报 #1667

  • rebase
  • 发布于 2025-02-01
  • 阅读 ( 810 )
  • ( 11 )

Certora如何保障Uniswap v4的数十亿生态系统安全

本文深入探讨了Certora与Uniswap的合作，旨在通过形式验证技术确保Uniswap v4的安全性。通过结合自动化分析、手动代码审查和形式验证，Certora提供了比传统审计更为全面的安全保障，为保护用户资产和防止攻击提供了数学证明。文章强调了形式验证在DeFi安全中的重要性，指出这是传统安全测试无法比拟的。
形式验证  智能合约  DeFi安全  uniswap v4  Certora  安全审计 
  • Certora
  • 发布于 2025-02-01
  • 阅读 ( 755 )

免费提升你的 Remix IDE 体验与 BuildBear 沙盒

本文介绍了 BuildBear Sandbox 与 Remix IDE 的集成，如何提升智能合约的开发、测试和调试体验。通过提供持久化的、现实的测试环境，BuildBear Sandbox 帮助开发者方便地进行团队协作、复杂功能测试，并保留数据，优化了开发流程。
BuildBear  Remix  智能合约  测试环境  区块链开发