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

利用零知识证明、全同态加密和新的分布式系统算法改造未来

文章讨论了零知识证明（ZKPs）等密码学技术在应对日益复杂的社会挑战中的作用，强调了其在区块链、人工智能、硬件安全、国家安全以及数据隐私保护等多个领域的潜在应用。文章指出，随着AI普及和中心化信任的减弱，ZKPs和同态加密等技术将变得至关重要，并表示将致力于支持相关技术的初创企业。
零知识证明  区块链  密码学  同态加密  AI  数据隐私 

深度解析#1：Wildcard Alliance

本文概述了Web3游戏Wildcard Alliance，这是一款融合了实时战略、战斗竞技场动作和收藏卡牌游戏元素的新型游戏。文章介绍了其开发团队、融资情况、NFT资产（Genesis WildPass）及其用途，以及社交媒体策略。同时，文章也分析了该项目面临的风险和竞争对手，并给出了作者对Wildcard Alliance的积极评价和S级评级。
Web3游戏  Wildcard Alliance  NFT  Genesis WildPass  Polygon  Unreal Engine 5 

弥合差距：ZK-SNARKs如何通过zkml为私有机器学习模型带来透明度

本文探讨了机器学习模型在隐私和透明性之间的平衡问题，介绍了零知识简洁非交互式知识论证(ZK-SNARKs)如何在不泄露模型权重的情况下证明模型正确执行。通过开源框架zkml，本文提供了利用ZK-SNARKs进行机器学习模型信任执行的具体示例，展示了该技术在社交媒体和医疗领域的潜在应用。
zk-SNARKs  机器学习  隐私  透明性  ZKML  可信执行 

venus-miner 代码解析 笔记

代码解析思路提出几个需要解决问题。venus-miner解决解决这些问题的设计思路和架构。最后要问问为什么这样设计？需要解决的问题所以区块链系统都需要解决谁有权利出块，没有按照规定出块的人如何惩罚，出块人如何从交易池中获取交易，并验证交易（预执行并获取执行后的状态根or只是进行交易

香港会议期间，SharkTeam发布“链上安全分析研究报告”

in  智能合约安全
在香港Web3嘉年华会议期间，SharkTeam发布了“链上安全分析研究报告”，与参会嘉宾和Web3用户针对链上安全和链上数据分析进行了深入交流。随着加密货币的不断发展，其匿名性和资金难以收回等特点，以及加密货币立法尚不健全的情况，被越来越多的不法分子用来做为洗钱的工具。AML（反洗钱）由阻止非

Uniswap 应用程序现已可用

Uniswap 发布了移动应用程序，该程序允许用户在移动设备上无缝交易和管理加密资产。它具有安全简单的交换功能、自我托管和易于使用的特点，支持Mainnet、Polygon、Arbitrum和Optimism等多条链，并集成了购买加密货币、NFT查看、WalletConnect等功能。用户可以通过iOS App Store下载。
Uniswap  移动应用程序  DeFi  加密货币  钱包  NFT  walletconnect 

MEV机器人遭遇攻击损失2500万美元：分析揭示

2023年4月3日，以太坊上的多个MEV机器人在16964664区块中遭到攻击，一名恶意验证者替换了8个交易，导致5个MEV机器人损失约2538万美元。攻击主要针对与Flashbots相关的MEV机器人。漏洞在于Flashbots的`mev_boost_relay`模块未正确处理错误，恶意验证者利用这一点修改区块内容并成功使其被主网接受，最终攻击者耗尽了MEV机器人的资金池。
MEV 机器人  Flashbots  以太坊  漏洞  攻击  三明治攻击 
  • zan.top
  • 发布于 2023-04-13
  • 阅读 ( 300 )

黑客松对开发者有什么用

黑客松对开发者有什么用首先在这里我要感谢在大陆各项黑客松赛事的组织者，没有你们就没有现在的我，也没有现在国内Web3技术行业的发展。但这篇的主题不是吹黑客松，而是要讨论一下黑客松对我，也就是web3行业内技术人员到底有啥用，这里我会记录下一些自己的感受。
黑客松 
  • 33357
  • 发布于 2023-04-13
  • 阅读 ( 1926 )

深入解析polygon zkEVM(二)

我们将依托上篇文章建立的框架，深入polygon zkEVM关于Sequencer和Bridge更多的技术细节，同时也探讨未来潜在的去中心化Sequencer架构的不同特点。
zkEVM  Polygon zkEVM 
  • 0xhhh
  • 发布于 2023-04-13
  • 阅读 ( 4294 )
  • ( 5 )

开源 zkml：人人可用的无信任机器学习

这篇文章宣布了zkml的开源发布，zkml是一个用于生成机器学习模型执行的零知识证明的框架。文章详细介绍了zkml的愿景、使用方法及其应用，包括信任审计、去中心化市场和隐私保护生物识别等。作者强调了zkml的高效性和优化能力，并展望了未来的发展方向。
零知识证明  机器学习  zk-SNARK  信任审计  开源框架  隐私保护 

学习Move

在Move中，首先就规定了Resource是第一公民，在编程的时候是必须被首先考虑的被编程对象。这种开发思想，就告诉开发者要全心全意的去看待Resource，重视资产的安全性
Move 
  • zero
  • 发布于 2023-04-12
  • 阅读 ( 2880 )
  • ( 22 )

升级到未来：以太坊上海与Capella升级详解

本文深入探讨了以太坊的上海/Capella升级（Shapella），该升级于2023年4月12日进行，主要关注解锁质押的ETH和允许验证者提取其质押的ETH奖励。文章详细介绍了此次升级中包含的各项以太坊改进提案（EIP），以及升级后对验证者提款选项的影响，并分析了对ETH质押市场和流动性质押衍生品的需求的潜在影响。此外，还提到了即将到来的坎昆升级。
以太坊  上海升级  Capella升级  shapella  质押  EIP  提款 
  • gelato
  • 发布于 2023-04-12
  • 阅读 ( 150 )

Solidity Staticcall EIP 214

本文详细介绍了以太坊中的staticcall操作，解释了其与常规call的区别，及其在防止状态变更中的应用。同时，文章也讨论了staticcall的安全性问题，如拒绝服务攻击和重入攻击，并提供了代码示例来说明其使用方法。
staticcall  以太坊  EIP 214  Yul assembly  Solidity  重入攻击 

像协议一样看待

文章深入探讨了以太坊协议开发中的边界问题，着重分析了协议的自省能力（通过可信信号获取）和执行能力（对特定结果的倾向性）。文章通过案例研究，如MEV燃烧、审查制度等，探讨了社区在协议开发中的作用，以及如何通过协议升级来增强协议的可信度。文章还讨论了验证者激励和外部因素对协议可信度的影响，强调协议开发应关注社区愿意捍卫的结果，以确保协议真正代表社区的意愿。
协议可信度  协议自省  协议执行  验证者  MEV  EIP-1559 
  • barnabe
  • 发布于 2023-04-11
  • 阅读 ( 87 )

Footprint & TrustaLab | 图算法识别链上游戏非真实玩家

由于目前的Web3游戏，普遍形式是玩家可以通过完成任务来获得加密货币以及NFT奖励，从而也滋生了许多为“打金”而产生的非真实玩家。本文从方法论，图算法介绍，案例说明和数据分析等维度深入全面的介绍如何识别链上非真实玩家。
GameFi 
  • Wade
  • 发布于 2023-04-11
  • 阅读 ( 4052 )
  • ( 12 )

StarkNet 介紹：重點部件 Overview

本文对 StarkNet 的重要组成部分进行了基础介绍，主要阐述了 StarkNet OS、Sequencer、Prover & Verifier 和 L1 Core Contract 的工作原理，同时探讨了去中心化与性能瓶颈等话题。文章希望读者对 ZK-Rollup 和相关关键概念有基本了解，并为深入研究提供参考。
Starknet  ZK-Rollup  Cairo  零知识证明  Merkle Tree  序列器 

如何安全的使用 Chainlink 预言机价格

价格数据的可靠性是很多DeFi协议可靠运行的基石，Chainlink作为预言机头部平台，一般来说它提供的价格数据是非常可靠的。但是在我们这个行业从来都不缺二般情况...
  • Ashton
  • 发布于 2023-04-11
  • 阅读 ( 3380 )
  • ( 18 )

量子计算和区块链的矛盾是什么？

量子计算会破坏区块链吗?

量子计算和区块链是一对有趣的组成，他们相遇碰出什么火花？

量子计算和区块链的矛盾量子计算与区块链是当下两个热门技术，二者因为密码学技术联系在一起。

零时科技 || 处于“自救期”的SushiSwap是如何被黑客攻击的？

目前 SushiSwap 发布 RouteProcessor2 漏洞更新报告，称开发团队正在识别所有受 RouteProcessor2 漏洞影响的地址，并正在进行多项通过白帽回收挽救资金的行动。
零时科技  安全审计  黑客攻击