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

Web3-Js: ethereumjs-tx发送签名交易

Web3-Js: ethereumjs-tx发送签名交易
  • 小明
  • 发布于 2022-12-24
  • 阅读 ( 3537 )
  • ( 13 )

全同态加密（FHE）简介

本文介绍了全同态加密（FHE）的概念、应用和发展历程，重点介绍了基于环上的全同态加密（TFHE）方案，包括其使用的LWE、RLWE和RGSW三种加密方案，以及密钥交换、外积和控制多路复用器（CMux）门等技术，并概述了FHE在保护数据隐私方面的潜力，适用于在加密数据上进行计算的场景。
全同态加密  TFHE  LWE  RLWE  RGSW  密钥交换 

LSAT：使用比特币闪电支付的匿名身份认证

本文介绍了闪电网络服务身份验证Token（LSATs），这是一种允许用户在无需创建帐户或存储数据的情况下向服务验证身份的方法。LSATs 结合了比特币微支付、HTTP状态码、macaroons 和身份验证头，并提供开源工具供开发者创建自己的 LSAT 应用程序，并介绍了 Tierion 开发的 Boltwall 中间件以及 HODL 发票在 LSAT 中的应用。
闪电网络  LSAT  身份验证  比特币  Boltwall  HODL 发票 

sec3团队在2022年Aptos CTF MOVEment比赛中获得第一名

sec3团队在2022年Aptos CTF MOVEment比赛中获得第一名，展示了团队对Move语言的理解及其在安全领域的应用。文章描述了5个挑战及其解决方案，涉及的内容包括智能合约漏洞分析和应对策略，体现了团队的技术实力。
Aptos  ctf  Move  智能合约  漏洞分析  安全 
  • Sec3dev
  • 发布于 2022-12-24
  • 阅读 ( 1165 )

零知识编程语言

文章介绍了零知识证明编程语言的工作原理，并列举了几种流行的零知识证明编程语言，如Circom、Zokrates、Noir和Cairo，同时讨论了它们在区块链和隐私保护中的应用。
零知识证明  编程语言  circom  ZoKrates  Noir  Cairo 

ELI5：什么是IBC？

这篇文章深入探讨了跨链通信协议（IBC），介绍了其工作原理、运输层和应用层的结构，以及IBC在解决区块链孤岛问题方面的重要性。通过无缝的数据传输和信任最小化的设计，IBC使得不同区块链之间能够实现安全和可靠的交互，为去中心化金融和其他应用的发展奠定基础。
Inter-Blockchain Communication  IBC  跨链  区块链互操作性  信任最小化  Cosmos SDK 
  • IBCteam
  • 发布于 2022-12-24
  • 阅读 ( 1782 )

通道可升级性将如何提升跨链互操作性

这篇文章详细介绍了IBC协议中的通道可升级性特性，解释了它的必要性、设计概述以及访问控制机制。通过通道可升级性，链可以更新其应用模块而无需创建新通道或进行网络升级，从而保持现有通道的状态和流动性。文章结构清晰，内容丰富，适合对区块链通信协议感兴趣的开发者。
IBC  通道可升级性  区块链  Cosmos  应用模块  中继 
  • IBCteam
  • 发布于 2022-12-24
  • 阅读 ( 1151 )

Avalanche Warp Messaging（AWM）在 Avalanche 上推出首个原生子网到子网消息……

Avalanche Warp Messaging (AWM) 在 AvalancheGo Banff 5 中推出，为所有 Avalanche 子网带来快速、可靠的本地通信。
Avalanche  子网  Avalanche Warp Messaging  AWM  BLS 多重签名  跨链通信 

什么是 零知识证明：ZK-SNARKs？|Tokenview

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。
zkSNARK  零知识证明 
  • Tokenview
  • 发布于 2022-12-23
  • 阅读 ( 7668 )
  • ( 25 )

Oasis 如何在 TEE 漏洞的情况下保护隐私

本文介绍了Oasis网络如何利用受信执行环境（TEE）技术保护隐私，特别是在面对如Æpic等漏洞时的应对措施。文章详细阐述了Oasis如何通过多层安全机制确保数据完整性并支持灵活的隐私保护解决方案，同时与其他保密计算方法如FHE、MPC和ZKP进行了比较，指出TEE的优越性和实用性。
Oasis网络  受信执行环境  隐私保护  Æpic攻击  智能合约  区块链安全 

基于 LNURL 的闪电网络地址

本文介绍了闪电网络地址的工作原理，详细解释了闪电网络发票和LNURL-pay协议，阐述了闪电网络地址如何通过将地址翻译成HTTPS链接，简化了支付流程，并提供了使用闪电网络地址的建议。
闪电网络  闪电网络地址  LNURL-pay  闪电网络发票  支付原像 

如何理解Uniswap v3 流动性头寸的价值

如何理解Uniswap v3 流动性头寸的价值
Uniswap 
  • songmint
  • 发布于 2022-12-23
  • 阅读 ( 6004 )
  • ( 47 )

在SGX中运行Geth：我们的经验、教训和代码

本文详细介绍了Flashbots在SGX中运行Geth的实现过程及所遇到的挑战，包括状态存储、初始同步和信息泄漏等问题，并提供了相应的解决方案和未来的研究方向。文章强调了在可信执行环境中应用Geth的可行性、性能和资源消耗，并呼吁合作和探索此领域的新方法。
SGX  Geth  可信执行环境  加密技术  以太坊主网  Gramine 

Eclair背后的架构

本文介绍了闪电网络节点Eclair的架构，Eclair是基于Actor模型的，使其易于构建可靠且可扩展的软件。Eclair使用Scala语言和Akka库，并利用JVM的优势，实现了高性能和稳定性。此外，Eclair还提供了强大的插件系统和集群模式，可以支持大规模的节点。
闪电网络  Eclair  Actor模型  Scala  JVM  Akka  集群模式 
  • ACINQ_
  • 发布于 2022-12-22
  • 阅读 ( 791 )

2022：22张定义加密货币年度的图表

本文回顾了2022年加密市场的关键图表和趋势，探讨了多种市场指标的变化及其对行业未来的影响。通过22张图表，文章详细分析了加密货币交易量、市场资本化、流动性、投资者信心和DeFi表现等方面，提供了对2023年可能趋势的洞见。
加密货币  市场资本化  流动性  DeFi表现  交易量  2022年回顾 

如何使用DAI稳定币的授权功能

本文深入探讨了以太坊网络的Gas费用及DAI合约中的Permit功能，通过本地搭建示例展示了如何使用该功能，帮助开发者降低交易费用。文章也提供了代码示例及具体操作步骤，附带了图示和测试环境的设置，适合希望了解ERC20Token管理与Gas优化的开发者。
Gas费用  ERC20  DAI合约  Permit功能  智能合约  EIP712 

作为Layer2赛道的领跑者，如何理解 Arbitrum？|Tokenview

上周我们介绍了以太坊L2扩展解决方案Optimism，本周我们继续介绍另一个L2解决方案——Arbitrum。Arbitrum是以太坊的一个OptimisticRollupL2可扩展性解决方案。
Arbitrum 
  • Tokenview
  • 发布于 2022-12-22
  • 阅读 ( 4220 )
  • ( 11 )

关于形式验证智能合约的五个误解

本文深入探讨了形式验证在智能合约中的重要性，驳斥了关于形式验证的多种误解，强调其在代码开发过程中及早介入的重要性，以及如何提高智能合约的安全性。形式验证不仅能帮助发现安全漏洞，还能通过清晰的规范来保障代码的正确性。
形式验证  智能合约  安全性  代码规范  编程错误  去中心化金融 
  • Certora
  • 发布于 2022-12-22
  • 阅读 ( 1020 )

深入解析AAVE智能合约:计算和利率

本文深入探讨了AAVE V3协议中位于`src/protocol/libraries/math`目录下的数学计算模块，特别是`WadRayMath`合约。文章详细讲解了Solidity中浮点数的表示和四则运算，单利和复利的计算方法（包括复利计算公式的推导），以及百分比的乘除运算，为读者提供了AAVE V3中数学计算模块的全面概览。
Aave V3  WadRayMath  浮点数  单利计算  复利计算  百分比计算 

解构 Solidity 合约 #3：函数包装器

in  理解 EVM - 探究Solidity 背后的秘密
解构 Solidity 合约 #3：函数包装器
EVM  Solidity  智能合约