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

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

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

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

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

欢迎大家报名参加

12月28号。微软会有一场线下的web3交流会，欢迎大家扫码报名参加！
微软  Web3 
  • zhengyq
  • 发布于 2022-12-23
  • 阅读 ( 2404 )

基于 LNURL 的闪电网络地址

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

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

如何理解Uniswap v3 流动性头寸的价值
Uniswap 
  • songmint
  • 发布于 2022-12-23
  • 阅读 ( 5942 )
  • ( 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
  • 阅读 ( 764 )

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
  • 阅读 ( 4154 )
  • ( 11 )

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

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

ArWiki调研报告

in  智能合约安全
ArWiki是一个Arweave网络上的去中心化利润共享wiki，其工作方式类似于维基百科，用户通过Arweave网络可在Arwiki上自由创作内容，获得利润共享代币（WIKI）奖励。ArWiki上的网页、内容和用户的贡献都是通过Arweave网络交易进行永久存储。
ArWiki  Arweave 

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

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

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

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

什么是Web3商务？

本文介绍了Web3 Commerce的概念，即在区块链上进行现实世界资产的交易，旨在提高企业和客户之间的信任、透明度和协调性。作者阐述了Web3 Commerce的例子以及不属于Web3 Commerce的活动，并解释了Web3 Commerce一词的起源及含义。
Web3 Commerce  区块链  现实世界资产  供应链  比特币  以太坊 

Hardhat以太坊智能合约开发框架基础教程

Hardhat以太坊智能合约开发框架基础教程
Hardhat 
  • Chain哥
  • 发布于 2022-12-21
  • 阅读 ( 6857 )
  • ( 13 )

Solidity如何优化Gas费用

Solidity如何优化Gas费用
Solidity  gas优化 

一文解决 web3 合约 ethers 交互基础

一文解决 web3 合约 ethers 交互基础
ethers.js 
  • 1_bit
  • 发布于 2022-12-21
  • 阅读 ( 10170 )
  • ( 24 )

万向区块链2022年度回顾 | 技术篇：突破公链不可能三角的努力

2022年接近尾声，驻足回看行业这一年的跌宕起伏，无论是技术的突破，应用的创新，还是生态的兴衰，皆成为了行业发展的历史注脚。如往年一样，万向区块链于年末推出重磅年度回顾系列文章：《公链技术篇》、《应用篇》和《监管篇》，以期记录当前行业发展的缩影。下文为年度回顾系列——《公链技术篇》。

什么是比特币硬件钱包？

本文介绍了比特币硬件钱包，它是一种离线存储比特币密钥的专用设备，通过生成和安全存储密钥、签署交易等功能来保护用户的比特币资产。文章详细解释了硬件钱包的功能、交易签署过程、以及优势与劣势，并强调了硬件钱包在比特币安全存储中的关键作用。
硬件钱包  私钥  冷存储  多签  助记词  交易签名