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

NFTScan 与 SeeDAO 孵化器达成战略合作，为开发者提供专业的 NFT 数据服务！

近日，NFT数据基础设施NFTScan与知名DAO组织SeeDAO孵化器达成战略合作伙伴关系，双方将紧密合作，共同促进Web3和NFT领域开发者生态的繁荣发展。

加密安全状况

概述今年，黑客从加密应用程序中窃取了超过20亿美元。随着加密生态系统的发展和吸引更多恶意行为者，问题只会变得更糟。有些事情必须改变。是时候后退一步，反思过去的错误，并改变我们处理这个行业安全问题的方式了。
区块链安全 

人工智能在区块链中的未来：分布式账本技术如何塑造人工智能

我们这个时代最具革命性的两项技术是区块链和人工智能。区块链，也称为分布式账本技术，是一种分散式系统，无需中央机构通过网络记录、验证和交换数据。它是比特币等加密货币的基础技术，但它对其他应用也有很大的前景，包括投票流程、供应链管理和数字身份。
区块链 

SharkTeam：2022年度Web3安全报告

in  智能合约安全
根据SharkTeam链上分析平台ChainAegis数据，2022年Web3领域共发生了431起安全事件，平均每天发生1.2起，损失金额总计38亿美元。总的来看，2022年全年Web3安全事件仍呈高发态势，年增长率为59.09%，整体形式仍十分严峻。2022年度，合约漏洞与RugPull事件

解构模块化区块链

通过本文我们来共同了解一下什么是模块化。
模块化区块链 

不得不了解的区块链术语 1 | Gear Wiki

通过本篇文章你将了解到的概念有：Web3、dApp、DeFi、NFT、DAO及区块链中的一些专业术语。
区块链 
  • GearFans
  • 发布于 2023-01-16
  • 阅读 ( 3302 )
  • ( 6 )

Gear 月度更新｜2022 年 10 月

让我们共同回顾10月的进展吧！

每周以太坊进展 2023/1/14

每周以太坊进展 2023/1/14
每周以太坊 
  • EthWeekly
  • 发布于 2023-01-16
  • 阅读 ( 4382 )
  • ( 19 )

跨链桥是如何工作的？以Wormhole为例（第三部分）

in  跨链桥是如何工作的 - Wormhole
本文详细介绍了Wormhole跨链桥如何确保桥接代币的正确性，包括代币信息验证、注册流程、代币数量的处理等核心机制。通过阐述Token Attestation和相关智能合约函数，文章深入解析了Wormhole确保不同链之间代币一致性的技术原理。
跨链桥  Wormhole  代币正确性  Token Attestation  代币数量处理  区块链技术 
  • Sec3dev
  • 发布于 2023-01-15
  • 阅读 ( 1372 )

ZK-SNARKs 的算术化方案

本文介绍了零知识证明（ZKP）中将计算转换为多项式的过程，即算术化。文章详细讲解了三种主要的算术化方案：R1CS、AIR 和 Plonkish，以及它们在电路计算和机器计算中的应用。此外，文章还提到了为优化算术化过程而提出的多种技术，如查找表、SNARK 友好的密码学原语、并发证明生成和硬件加速。
零知识证明  算术化  R1CS  AIR  Plonkish  多项式 

如何将代码转换为算术电路

本文介绍了如何将计算问题转化为算术电路，从而利用zk-SNARKs进行高效验证。文章详细解释了算术电路和R1CS（Rank-One Constraint System）的概念，以及如何使用编译器将高级代码转换为算术电路。同时，讨论了非原生数据类型和操作在算术电路中的表示方法，以及SNARK友好的密码学原语的重要性。
zk-SNARKs  算术电路  R1CS  编译器  NP完全问题  密码学原语 

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

本文详细探讨了Oasis网络如何利用受信执行环境（TEE）来实现智能合约的私密执行，尽管TEE存在漏洞的风险。文章阐述了TEE的灵活性、可用性和保密性，并分析了Oasis的安全防护措施，确保不会因TEE漏洞而造成数据泄露或资金损失。同时，作者比较了TEE与其他隐私保护技术的优缺点，强调了TEEs在Web3隐私应用中的实际优势。
Oasis网络  受信执行环境  TEE漏洞  智能合约  隐私保护  区块链 

Solidity中的默尔克树终极指南

全面了解默尔克树，默尔克树使用场景，构建原理，如何构造默尔克树，如何在 Solidity 里验证默尔克树，以及 默克尔的未来...
默克尔树 

谈谈 LayerZero

本文探讨了 L2BEAT 对于跨链应用共享安全模型与孤立安全模型的分析与实验结果，指出孤立安全模型可能带来的安全风险。通过实验证明，如果应用程序可以随意定义安全政策，将给用户带来额外的风险。结尾提到 L2BEAT 将对使用 LayerZero 的每个应用进行安全风险警告，并呼吁更广泛的安全模型讨论。
L2BEAT  LayerZero  安全模型  跨链应用  孤立安全  共享安全 

渐进式去中心化：一个高级框架

这篇文章深入探讨了去中心化在Web3及传统商业中的重要性与挑战，阐述了如何规划未来的去中心化，并提供了渐进式去中心化的框架和具体指导。作者指出，去中心化并非“一刀切”，而是可以在不同维度和时间上逐步实施，以确保在保持有效决策和产品市场适应力的同时，逐渐实现更高的社区参与度和自我管理。
去中心化  Web3  自我管理组织  产品市场适应  社区参与  技术堆栈 

BRA事件 漏洞分析

BRA事件 漏洞分析
BRA  逻辑漏洞 
  • Archime
  • 发布于 2023-01-14
  • 阅读 ( 4303 )
  • ( 2 )

RoeFinance事件 漏洞分析

RoeFinance事件 漏洞分析
RoeFinance  价格操纵 
  • Archime
  • 发布于 2023-01-14
  • 阅读 ( 3950 )
  • ( 2 )

匹诺曹虚拟机：接近实用的可验证计算

本文深入探讨了零知识证明（zk-SNARKs）中的Pinocchio协议，通过将程序转化为算术电路，利用多项式编码和Schwartz-Zippel引理，实现了简洁的电路执行证明。文章详细解释了如何构造多项式来表达正确的电路执行，以及如何使用隐藏技术和算法来保证证明的有效性和安全性，最终给出了Pinocchio协议的完整流程。
zk-SNARKs  Pinocchio协议  零知识证明  算术电路  多项式编码  Schwartz-Zippel引理  R1CS 

去中心化隐私计算：ZEXE 和 VERI-ZEXE

本文介绍了ZEXE协议及其改进版本VERI-ZEXE，ZEXE旨在解决去中心化账本的隐私和可扩展性问题，允许用户在公共账本上运行私有应用程序。VERI-ZEXE通过改进证明系统和密码学原语，如使用PLONK作为PIOP、轻量级验证电路、实例合并、批量证明等，显著提升了性能并降低了计算成本。
ZEXE  VERI-ZEXE  zk-SNARKs  PLONK  多标量乘法  累积方案 

UFDao 漏洞分析

RoeFinance事件 漏洞分析
UFDao  安全事件分析 
  • Archime
  • 发布于 2023-01-14
  • 阅读 ( 4027 )
  • ( 2 )