麦子钱包 · 32

BNB Chain与多家加密公司启动安全基础设施项目 AvengerDAO，将由社区运营

比推消息， BNB Chain 已与领先的区块链安全审计公司携手启动安全基础设施项目 AvengerDAO，该组织没有中央领导，将由社区运营，包括安全审计公司如 CertiK、Go+ Security、慢雾科技、Zokyo、BlockSec、HashDit、Verichains Lab，以及其他加密公司，如 Pessimistic、CoinMarketCap、Trust Wallet 、PancakeSwap、BSCtrace(NodeReal)、BscScan、麦子钱包、DappBay、Coin98 和 Opera。公告称，该系统将通过 Meter 提供多层安全性，这是一种被动 API（应用程序编程接口）系统，允许应用程序请求安全评级并发送回警报以标记不良行为者。另外两个平台，基于订阅的警报系统 Watch 和可编程资金管理系统 Vault，将在发生安全漏洞时实时警告订阅者，并根据提供商的内部规则分别协助各方之间的资金安全流动。

1432天前Wendy#AvengerDAO​ #BNB Chain #CertiK #Go Plus #SlowMist #Zokyo

从OpenSea、MetaMask到Deribit 加密行业还有哪些你不知道的“垄断者”？

近日以太坊开发者 @0xTomoyo 列举了其心目中当前加密货币行业中近乎“垄断”的平台，本文借此思路进行拓展，尝试梳理一下当前加密货币行业的垄断排行榜。“垄断”的定义是否准确，也存在一些问题，尤其在加密货币这个创新与变化密集的行业。更合适的提法可能是“在某个领域暂时有绝对的领先的市场份额”。OpenSea赛道：NFT 交易市场垄断指数：90%其实我们可以将 OpenSea 的这种垄断时代大致划分为前 & 后时代：前 OpenSea 垄断时代：竞争对手是 SuperRare、Rarible、Foundation 等这类交易市场，这个阶段 OpenSea 处于绝对的垄断地位，市场份额从 40% 迅速增长到 98%。分水岭：OpenSea IPO 风波、NFT 资产丢失等事件让用户对 OpenSea 的好感度逐渐下降，市场渴望有能对 OpenSea 造成威胁的挑战者。后 OpenSea 垄断时代：现在。现在随着 OpenSea 的成交量更上一层楼（突破 60 亿美元），前期 Rarible 等竞争对手已经不再构成威胁。虽说市场也出现了 LookRare、X2Y2 等草根崛起，成交量甚至一度超越 OpenSea，但是本质都是交易挖矿的水分，甚至偏向了玩转代币经济的道路。尽管如此，在这后 OpenSea 垄断时代，也有挺多正规军入场，如 Coinbase 的 NFT 市场、FTX 的 NFT 市场；同时随着多链趋势的成熟，OpenSea 或许会错过以太坊之外的 NFT 交易市场份额，如 Magic Eden 当前已经是 Solana 网络上最大的 NFT 市场，尽管成交量还远小于 OpenSea，但交易数有时已是 OpenSea 的两三倍。Uniswap赛道：ETH AMM DEX垄断指数：80%根据 Dune Analytics 的数据统计，按照成交量占比算，目前 Uniswap 在以太坊等链上的市场份额高达 80%，在稳定币 AMM 这个细分领域，即使在 Curve War 如日中天的当下，在新费率（如 0.01%）选项通过后，Uniswap 的市场份额也接近 90%。虽然 AMM 目前并不存在什么技术垄断，市面上的各类微创新 AMM 也层出不穷，但 Uniswap Labs 在 DEX 领域的持续创新（AMM 的开创以及集中流动性等），或许是其保持市场份额的关键。但需要注意的是 Uniswap 并没有进入 BSC Solana 等其他公链，因此如果将视角拓展到所有公链的 DEX，它的整体垄断程度就会更低一些。MetaMask赛道：浏览器插件钱包垄断指数：85%其实在以太坊生态以及所有兼容 EVM 的生态中，MetaMask 插件钱包凭借其先发优势，近乎是实现了碾压式的垄断；不过 EVM 之外的这一块市场，MetaMask 暂时尚未发起攻势。不知该赛道的新产品能够借助某些新趋势的东风，迅速占领些许市场份额。目前市场也有许多各具特色的新插件钱包，如 Coinbase Wallet、Coin98 Wallet、Rabby、麦子钱包插件、TP 插件钱包、XDEFI 以及 Liquality 等。MetaMask 没有垄断的地区包括：在中文市场，TP 钱包影响力更大；在 Solana 等非 EVM 公链，有其自有钱包。WBTC赛道：比特币锚定币垄断指数：80%WBTC 由 BitGo、Kyber Network 与 Republic protocol 等项目方联合推出的比特币锚定币，于2019 年 1 月正式上线，是比特币的第一个 ERC20 版本代...

1628天前dy zhang#Deribit #MetaMask #OpenSea #加密市场 #吴说Real #比特币 #矿机

Harmony质押智能合约简介

Harmony现已支持智能合约层面的质押，开放了使用MetaMask钱包进行质押ONE的权限，同时为开发者和质押者提供其他一系列便利。自2020年5月开放质押上线以来，Harmony网络在质押代币的量上取得了极大的增长，这对（整个）区块链的安全而言至关重要。截至目前，已有超过2万6千名质押者向Harmony网络中的160个独立验证者池委托了超过44亿枚ONE代币。此前，质押者只能通过发送特殊的质押交易才能参与质押，而这类交易仅支持有限的几个钱包，譬如Harmony Chrome扩展程序钱包及麦子钱包等。这一局限不仅使MetaMask等其他钱包的用户无法参与质押，还限制了开发者围绕质押流程构建定制化智能合约的自由度。现在，我们在Harmony的EVM上启动了预编译质押智能合约，使质押操作得以通过智能合约完成。这一预编译质押智能合约存在于分片0上的0xfc地址，并支持质押者的三种主要操作：委托、取消委托和收取奖励。随着预编译质押智能合约的上线，还将有非常多的增益带给质押者和开发者。增益：质押者可以使用他们喜欢的钱包，诸如MetaMask等在Harmony质押上进行委托、取消委托以及收取奖励。开发者能构建去信任质押衍生产品，解锁44亿枚已质押ONE代币的流动性。这将极大地提升Harmony的DeFi生态流动性，并为ONE代币的质押者带来更多收益。验证者无需遵循Harmony的EPoS模型中固定的区块奖励分配机制，而是可以构建自定义逻辑来决定区块奖励在委托者之间的分配方式，并将其商业模型完全融入到质押流程当中。Defi与质押之间长期存在的流动性竞争问题也得到了妥善解决，更多的ONE代币将进入到质押当中，因为质押衍生品解锁了质押本身的流动性（问题）。通过在智能合约层面启用质押，来自所有钱包的ONE代币持有者都可以轻松地质押代币，验证者也与他们的委托者在控制激励模型方面有着更大的灵活性，大量新的流动性会被释放出来，使ONE代币持有者和Harmony的DeFi生态都从中受益。通过在智能合约层面启用质押，来自所有钱包的ONE代币持有者都可以轻松地质押代币，验证者也与他们的委托者在控制激励模型方面有着更大的灵活性，大量新的流动性会被释放出来，使ONE代币持有者和Harmony的DeFi生态都从中受益。对于开发者智能合约开发者现在能直接调用质押操作，包括委托，取消委托和收取奖励。这些操作将收取等同的gas费用，其作用于发送相应的质押交易完全相同。下方即是一个利用质押合约的智能合约代码示例：对于委托质押者我们已经在提供给质押者的操作面板上增加了一个使用MetaMask进行质押的选项，下列步骤将为您提供指引。为Harmony安装&设置MetaMask欢迎您参阅我们的现有文档，在您的MetaMask钱包上安装和设置Harmony网络。链接：https://docs.harmony.one/home/network/wallets/browser-extensions-wallets/metamask-wallet用一个新的MetaMask钱包进行质押如果您在质押操作界面已经链接了一个钱包，请您先点击“Sign Out”（退出），断开您现有钱包的链接。然后，点击左侧界面的“Sign In”（登陆）。选择“Use an existing address”（使用现有地址），接着选择“Use Metamask Wallet”（使用MetaMask钱包），然后点击“Sign In”（登陆），将您的MetaMask钱包链接到质押操作界面。现在您可以选择一个验证者（节点）质押您...

1635天前Harmony#Harmony #智能合约

波卡主网平行链拍卖启动在即，普通人如何参与？

波卡将于 11 月 11 日启动首轮平行链拍卖，参与前请了解这些策略及其优劣势。去年「万向区块链周」结束之后，我们曾围绕波卡生态写过一篇近万字的 长文，以详述平行链拍卖的运作机制，探析生态各方角色的不同态度。彼时，应用层的爆发才刚刚在以太坊崭露头角，尚未蔓延至各大新兴生态。伴随着主网上线以及市值持续突破，波卡的热度可谓是无出其右，相关线下活动的人气及号召力也独居一档。时隔一年，凭借着 EVM 兼容、巨额经济激励等模式化举措，新兴公链生态相继实现了规模爆发，市场热度也持续攀升，Avalanche 和 NEAR 今年线下活动的人气之旺就是最直观的证明。反观波卡，却似乎一直都走在自己的开发节奏里，没有因外部竞争环境的剧变而调整步伐。过去一年间，波卡先后走过了测试网 Rococo V1 的模拟拍卖以及先行网 Kusama 的多轮实战拍卖，经历了足以用漫长来形容的试验及评估期后，主网的插槽拍卖这才被安排上了日程——随着治理提案 #118 的顺利通过，波卡主网已确定将于 11 月 11 日启动首轮平行链拍卖。受此利好刺激，DOT 近期的二级市场表现相当强势，50 美元的大关终被攻破，历史高点再被改写。拍卖来临之际，生态之内的不同角色早已摩拳擦掌，准备大展拳脚。一方面，等待良久的各大项目方正陆续公布自家的众贷激励方案，以期在即将到来的拍卖中抢得头筹；另一方面，经历了早前的 Kusama 拍卖，不少参与了众贷的用户都赚得了不菲的收益，这也吸引了更多用户将目光投向了即将到来的主网拍卖，以期在其中分一杯羹。不过，由于波卡的底层构架及基础设施与其他公链存在一定的差异，平行链插槽拍卖及相关的众贷玩法在整个区块链世界里也是首创，许多从未接触过波卡的投资者在购买了 DOT 筹码后往往会陷入不知后续该如何操作的困惑之中，面对着各种拍卖衍生方案更是一头雾水。为了解决这一问题，方便更多用户顺畅参与波卡主网的拍卖众贷，Odaily 星球日报特此整理了参与众贷的主要渠道，希望能对您有所帮助。需要明确的是，本文并不涉及任何投资建议，也不会推荐用户去投票支持某个特定项目，具体如何选择，还请用户自行研究，根据各家项目的综合实力、过往表现、激励力度、解锁规则等因素加权判断。最通用的方法： 官方渠道官方渠道显然是最通用的拍卖众贷参与方式，采用该渠道的基本要求是，用户必须使用 Polkadot.js 钱包，且需要在钱包内存有至少 5 个可自由支配的 DOT。 当前主网的拍卖仍未正式启动，但不出意外的话，大体的众贷操作流程会和 Kusama 先行网保持一致。至于详细的操作方式，此前头部波卡中文社区 Polkaworld 曾录过一期中本版 教程，感兴趣的朋友们可以直接观看视频了解，待主网拍卖启动之后，将 Kusama 网络换成主网即可。虽然官方渠道提供了最通用的参与路径，但对于相对大部分计划参与众贷的用户来说，这一渠道还是偏繁琐，所以在有其它选择的情况下，我们并不是很推荐用户自己在链上直接操作。最便捷的方法： 第三方服务就当前阶段来看，平行链插槽拍卖无疑是波卡生态内除了质押之外最大的价值流动场景，所以对于一些以流量为运营基础的第三方机构来说，这显然是个不容错过的蛋糕。这里所说的第三方服务机构大致可分为两种：一种是第三方钱包，比如麦子钱包、Polkawallet、Nova 等等，另一种则是中心化交易所，比如币安、OKEx、Kraken 等等。首先说第三方钱包，在此前的 Kusama 先行网拍卖中，多款钱包都曾上线了拍卖相关工具，预期在接下来的波卡主网拍卖中也将开放相关服务。以下图麦子钱包的拍卖工具（针...

1752天前dy zhang#Acala #Astar #Avalanche #Bifrost #DeFi #DOT #Kraken #Kusama #Litentry #Manta #Moonbeam #NEAR #OKEx #Parallel #PolkaWallet #万向区块链 #币安 #波卡 #项⽬进展 #麦子钱包

IOSG Weekly Brief | 异构链还能杀出重围吗？#95

Part.1 Insight Polkadot平行链拍卖在即，异构链还能在EVM链的汪洋大海中杀出重围吗？作者：Ray Xiao @IOSG Ventures前言：目前Ethereum Layer2（Arbitrum, Optimism等）和其他EVM系的同构链（BSC、Polygon等）生态进展的如火如荼，甚至连一众其他异构公链都在做EVM兼容方案、兼容Ethereum的账户体系（NEAR的Aurora、Solana的Neon、Polkadot的Moonbeam等）。图1：EVM链 vs 非EVM链（Polkadot）来源: Ray @IOSG Ventures 制作，原图为 Getty Images(2012 Spain vs Italy)图2：各条链的协议数量和TVL数据 (2021.10.16)来源: Defillama价值分析：终局未定，Polkadot依然有成为Layer0 Meta Protocol的潜力Polkadot 寻求成为一个多链平台，它结合了互操作性并允许可扩展性。现有的区块链通常是孤岛。例如，没有桥梁，就不可能将信息从比特币的区块链传输到Ethereum的区块链。Polkadot 作为一种“元协议”，旨在连接所有区块链，以便它们可以并行处理信息。换句话说，Polkadot 的目标是成为一个协议协议——一个连接所有 Layer1 区块链（例如比特币和Ethereum）及其应用程序（例如 ERC-20 代币）的 Layer0 解决方案。这个想法也可以被称为“共识执行者”。1. 平行链+ Layer0中继链颠覆传统的智能合约+Layer1链体系Polkadot 对 Ethereum 的智能合约+Layer1体系进行革新，我们可以把 Polkadot 的中继链看成 Ethereum，而平行链就类似于在中继链上运行的各种业务协议/智能合约/开发工具。这样最直接的好处就是：业务协议/Dapps从此可以选择独立运行一条拥有独立计算资源的区块链（平行链）上，具备更强大网络资源支持下业务协议可以更加复杂且相对计算成本更低廉。同时，在每条平行链享有独立资源的同时也能用跨链通信协议互相通信相互打通。图3：Polkadot的平行链+Layer0中继链体系来源：《Polkadot Prime》By Mira Christanto & Wilson Withiam图4：Polkadot技术栈架构来源：IOSG Ventures2. 在异构信息跨链方面的前瞻性——重塑跨共识系统的信息传递标准格式 基于1.1的革命性的平行链+Layer0中继链架构革新，Polkadot的技术团队还花了大量精力开发异构链之间的信息传递解决方案，为此他们做了两个事情：标准化的信息传递协议XCMP + 标准化的消息结构XCM。图5：异构链信息传输技术栈来源：Polkadot wiki3. 基础设施级别的商业模式创新——平行链拍卖经济首先，平行链拍卖尽管确实是一个资本激烈角逐的战场，但我们要认识到项目方确实是能够花更低的成本拥有一条独立计算资源的区块链来完全支撑自己业务逻辑的开发和实现。与其他Layer1不同，Polkadot上的平行链开发者不需要担心以往创建一条链所需要担心的安全、经济成本等问题在互操作性方面，平行链将能够通过使用中继链作为信息路由器来相互通信和传输信息。其次，关于平行链拍卖这套商业模式，值得一说的是Crowdloan。普通用户（DOT持有者）：提供DOT流动性有机会获得优质项目方的native token。生态项目方（竞拍平行链...

1769天前IOSG#IOSG

加密货币钱包的下一个战场从移动端走向浏览器插件？

挑战 MetaMask 垄断地位的攻坚战已经打响。Coinbase Wallet、Coin98 Wallet、Liquality Wallet、麦子钱包插件、DeBank 新推出的 Rabby、XDEFI Wallet 等支持以太坊的浏览器插件钱包值得关注。撰文：Karen移动互联网的热潮下，imToken、Trust Wallet 以及 Argent 等移动端钱包百花齐放，MetaMask 一度成为了以太坊浏览器插件钱包的唯一选择。不过，随着多链 DeFi 应用数量和场景的持续拓展， 浏览器插件钱包 在迭代速度、配置便利性以及可组合性等方面的优势愈发凸显，一时间已经成为了资本追逐的又一热门赛道。硅谷风投巨头 a16z 近期领投了即将支持以太坊的插件钱包 Phantom，产品线涵盖钱包插件的越南项目 Coin98 也完成由 Hashed 和 Spartan Group 领投领投的 1125 万美元融资。随着 Coinbase 旗下钱包加入 MetaMask 主导的插件钱包竞争行列，以及诸如麦子钱包、Coin98 Wallet、XDEFI Wallet、Phantom 等在多链或跨链兑换、可组合性、钱包内内置其他诸如质押和集成 DApp 等功能以及用户交互体验上的不断探索和打磨优化，钱包插件竞争悄然拉开序幕。链闻将带你全方位了解 Coinbase Wallet 、 Coin98 Wallet 、 Liquality Wallet 、 麦子钱包插件 、 Phantom 、 DeBank 的 Rabby 、 XDEFI Wallet 、 GasNow （目前支持连接硬件钱包） 等几款支持以太坊的钱包插件以及各自的核心特点。Coinbase WalletCoinbase 旗下钱包 Coinbase Wallet 在今年 5 月份推出了 基于桌面浏览器 Chrome 的插件钱包 ，可供用户访问 DEX、DeFi 协议以及收藏品等其他应用程序，在推出之时，Uniswap、Compound、Rarible、Aave、Synthetix、Matcha、dYdX、Oasis、Instadapp、SushiSwap、Zora、ZapperFi 和 OpenSea 等主流应用就已支持 Coinbase 插件钱包。在下载插件后，用户可通过 Coinbase Wallet 移动应用程序扫描插件钱包上的 QR 码，一键连接并访问桌面上的 DApps 和 DeFi 应用。不过，目前来看看，Coinbase 插件钱包页面过于简单，相关交易纪录只能在 App 端浏览，另外，出于安全原因，用户必须在移动应用中确认插件中的所有交易。Coinbase Wallet APP 端是一种 去中心化的非托管钱包产品 ，可供用户将其加密货币和 NFT 存储至一个地方以及进行代币交易，用户不需要注册 Coinbase 账户即可使用。而在七月中旬，Coinbase Wallet 还宣布 支持 Polygon 网络 ，用户可以通过 Coinbase 钱包在 Polygon 网络上进行交易和访问 DApps，未来几个月内 Coinbase 钱包将支持更多 Layer 2 扩展方案。截至目前，Coinbase Wallet 支持以太坊、Polygon 和 Optimism。Coin98 WalletCoin98 Wallet 是越南项目 Coin98 旗下的多链钱包，有移动端和钱包插件 （适用于 Google Chrome 和 Firefox） 两种， 主打成为非托管的多链钱包和 DeFi 网关 ，目前已...

1850天前dy zhang#Coin98 Wallet #Coinbase Wallet #GasNow #Liquality Wallet #MetaMask #Phantom #Rabby #XDEFI Wallet #以太坊 #钱包 #麦子钱包

Arbitrum 主网的开发部署体验，看这七个开发者怎么说

Arbitrum 作为以太坊二层扩容网络的潜力已经毋庸置疑。采访：潘致雄 受访团队：DeGate、DODO、EthSign、imToken、麦子钱包、MCDEX、WePiggy作为最早上线的 EVM 兼容 Rollup 扩容方案 之一，Arbitrum 已经向开发者开放了主网接入的权限，运行了正好一个月的时间，国内外不少的开发团队已经在积极尝试和部署，大家对这个网络的整体成熟情况表示乐观，但也有部分组件，比如 区块浏览器 还处于早期的阶段，可能会影响项目开发。该二层网络被称为 Arbitrum One ，以区别于 Arbitrum 这个技术。虽然已经部署在了以太坊主网上，但是团队为了确保安全性，目前依旧称之为主网的测试版 （Beta） ，并且仅限开发者可以提前部署使用。在 Arbitrum 之外， Optimism 是和他们比较类似的技术方案，但是自一季度上线受限主网并挑选与 Synthetix 合作后，目前还未进行更大范围的测试，也曾推迟过一次上线时间，表示将于 7 月正式上线。而另外两个基于 零知识证明 的 Rollup 扩容方案就可能会更晚上线了。Matter Labs 表示 zkSync 2.0 将于 8 月上线，而且兼容程度相比前两者更差一些，不支持部分不常用的 EVM 操作码；而 StarkWare 的 StarkNet 方案更是本月才推出测试网，主网估计最快也要今年底。为了更直观了解 Arbitrum One 现在所处的状态，链闻采访了 7 个正在接入 Arbitrum 网络的团队，包括 DeFi、应用、钱包等上下游。希望能通过这些开发者的不同视角，还原出更全面的 Arbitrum 首个主网的状态。整体来看，这些开发团队对于 Arbitrum One 的成熟和完善度都有非常不错的评价，大多数工具和基础设施都已经支持或者很快就会迁移支持 （比如 Chainlink 和 The Graph） 。而大家吐槽的集中点在于目前区块浏览器的不完善，可能会影响开发的速度，不过 Etherscan 作为业内最广为使用的区块浏览器，他们为 Arbitrum One 的区块浏览器加入更多功能应该不是什么难事。另外 Gas 计算方式的差异也被多次提到，开发者们需要关注下这部分的区别。另外还有一个挺有意思的情况，由于 Arbitrum One 采用了类似于 欺诈证明 的机制，这是该 网络安全特性 中的重中之重，所以以为开发者们会关注网络本身欺诈证明的各种测试和演练，但是大家并未关注。不过早期可能会是由 官方 或者 可信第三方 作为网络的维护者，所以安全性应该没有问题。最后针对 Arbitrum One 主网正式对外开放的时间，大家的评估也比较各异，最乐观的团队认为目前网络已经足够完善可以开放了，但是比较谨慎的开发团队认为可能最多还要 6 个月的时间。除了上述的这些总结之外，此次采访主要是讨论了这些话题：EVM 兼容性 是不是真的和官方宣传的一样，整体的迁移工程量如何？该网络的 稳定程度 如何？开发工具和基础设施是不是可以无痕迁移？Arbitrum 网络实际的 性能 以及成本表现如何？预估还有多久可以完全开放 主网 ？问题 1：你们在迁移到 Arbitrum 的时候，原来以太坊 L1 上的智能合约需要调整吗？这部分迁移的整体工程量有多少？MCDEX： 迁移时智能合约没有调整代码。针对 block 和 time 的那么可能需要 review。由于我们的代币发行在 L1 上，我们有一些 跨链通信 的需求，需要写代码。DODO： 不需要调整，工作量很小。DODO ...

1878天前dy zhang#Arbitrum #DeFi #DeGate #DODO #EthSign #EVM #imToken #Layer 2 #MCDEX #Optimism #Rollup #StarkNet #StarkWare #WePiggy #zkSync #以太坊 #扩容 #麦子钱包

IOSG Weekly Brief #81 | 为什么我们领投 Runtime Verification

Part.1 InsightRuntime Verification: 区块链安全审计行业的变革者Runtime Verfication 是一家扎根区块链以及传统高科技行业代码安全审计的全球头部企业，开发了行业内最先进的「形式化验证」安全审计技术，并将大力运用这一技术提升智能合约系统的安全系数，重塑区块链金融基础设施的行业安全标准。IOSG Ventures 非常荣幸成为 Runtime Verification 自 2010 年成立以来首次融资的领投者。我们将积极参与 Runtime Verification 在区块链行业实现形式化验证技术的普遍应用，并将为团队在产品适应的市场能力、人才招募、市场推广和业务发展上提供深度支持。本文我们将分享 Runtime Verification 开发的形式化验证技术在区块链安全领域的独特价值。区块链为什么需要安全审计？随着区块链各种应用的快速发展，链上资金的金额呈指数级增长。智能合约的安全变成了投资者和开发者的首要关注。据 AIthority 报道，仅在 2020 年就有 122 起区块链黑客攻击事件，直接造成了价值 38 亿美金的数字资产损失。截至 2021 年 6 月，DeFi 智能合约的锁仓资产已超出 520 亿美元。如果出现重大漏洞，资产损失将不可避免，甚至项目会就此彻底失去用户的信任。尽管目前大多数 DeFi 智能合约都经过了一定程度的审计，但各种安全事故仍然层出不穷，因此区块链需要一个更好的工具来保障其安全。形式化验证技术是区块链审计的未来吗？形式化验证是什么？相比于人工审计优势在哪？形式化验证是一种革命性的安全审计方法，与传统的安全审计有着根本的不同。形式化验证首先会在公链最底层的虚拟机上建立一套数学模型，然后在字节码级别去检验智能合约代码。这种基于最底层级别进行的验证可以从智能合约所有可能的输入、初始状态出发，逐步推导出所有可能的结束状态，当中间推演过程出现卡壳时即可定位出漏洞的位置。相比于人工审计，形式化验证技术基于严格的数学方法，推导出所有可能的系统状态，因此其安全性要高出普通的人工审计几个数量级。不同形式化验证技术方案在安全分析覆盖的程度和自动化水平的取舍资料来源：法国政府研究机构 InriaRuntime Verification 的核心技术——编程语言的形式语义框架 K FrameworkK Framework 的诞生背景自然语言具有比较大的容忍度，允许从不同角度诠释甚至容忍一定程度上的误解，而编程语言需要开发者告诉电脑准确的指令。如果没有严格的定义来传达每段程序的意图 , 则无法保证高可靠性和高安全性的计算系统。「形式化语义（formal semantics）」 就是计算机程序语言的语义作严格定义。根据《编程语言的形式化语义（Formal Semantics of Programming Language)》 的定义，形式语义学是属于计算机领域中的学科，它是以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化。简单来说，形式语义学就是要寻找能让开发者的开发意图（即「语义」）和实现（即编程语言的「语法」）精确相符的语言框架。什么是编程语言里的语法（Syntax）和语义（Semantics）？资料来源 : Newbedev由于计算机的形式语义学需要基于大量的数学证明，具有高度复杂性，因此大多数计算机语言的早期设计者并没有足够的精力和能力来为开发语言定义正式的语义，他们往往会使用特制的解释程序、编译器或其他的手动工具，但这样的后果就是会带来大量的漏洞。伊...

1887天前IOSG#Consensys Diligence #DeFi #IOSG Ventures #Quantstamp #Trail of Bits #安全 #形式化验证 #投融资 #智能合约

麦子钱包背后基金会将向 Solana 生态系统项目投资 2000 万美元

比推消息，麦子钱包（MathWallet）背后基金会 MATH Global Foundation 宣布与 Solana 建立战略投资伙伴关系，并成立规模为 2000 万美元的基金，将向 Solana 生态系统项目进行投资，包括基于 Solana 的应用程序、基础架构和其他前沿用例。

1930天前Luxurytracy#Solana #麦子钱包

在 NEAR EVM 发布前夕，图解新公链 NEAR 生态全景

以太坊扩容问题已经拖到了市场耐心边缘，新公链 NEAR 已完成基础设施、DApp、开发、DeFi、NFT 五大主要领域的布局。撰文：娄月DeFi 从高速发展期逐步走向成熟稳定期，俨然成为加密市场中不可或缺的一部分，但面对近期动辄几十、几百美元的高昂 Gas 费、延迟的区块速度、糟糕的交易体验，一直悬而未决的以太坊扩容问题开始让一部分用户和开发者不堪重负，选择了暂时「出逃」。以太坊内部展开了 Layer 2 方案项目站队争夺，在外部则面临着公链的混战，以币安智能链、火币生态链为代表的交易所公链迅速拉拢了一大批用户，以 NEAR、Polkadot、Solana 等为代表的新公链则被赋予了巨大的期望。作为新公链明星之一的 NEAR，被很多人认为是最接近以太坊 2.0 愿景的项目，但其进展却比以太坊 2.0 更快，加之 NEAR 的分片技术从理论上拥有无限的拓展能力，使得其未来的技术发展能力具有充分的可组合空间。NEAR 在 2 月底更是趁热打铁的公布了 EVM 计划，旨在解决以太坊生态当前及未来所面临的计算难题。按照 NEAR 的官方说法，现有以太坊智能合约和前端代码的工程实现都无须更改。EVM 计划若能在三月底如期上线测试版，那么其吞吐量甚至可以达到以太坊 10 倍，同时具有完整的、不打折扣的以太坊兼容性，届时或将吸引一大批开发者和用户涌入 NEAR 生态中。延伸阅读： 《NEAR 公布 EVM 计划：吞吐量为以太坊 10 倍，预计三月底上线测试版》NEAR 生态内五大领域初具规模从项目定位来看，NEAR 是一家去中心化应用平台，旨在创建完全分片、可扩展的 PoS 区块链，团队已经发布了仅有的一些大规模分片系统实现。D1 Ventures 此前在关于 NEAR 的深度报告中指出，NEAR 是「DApp 链」方向最有竞争力的选手之一，其后发优势明显，拥有比 ETH2.0 更优的分片方案，以及世界顶级的工程能力；但劣势在于一直以来的社区支持不足。参考阅读：《深度解析明星公链 NEAR：以太坊杀手？还是泯然众人？》近期 NEAR 活跃度显着提升，项目进展发力前行。去年发布的以太坊跨链彩虹桥目前已在 NEAR 和以太坊主网间运行，借助彩虹桥的扩展，越来越多的 DeFi 项目正在顺畅的跑在 NEAR 平台上，不停地为其生态发展添砖加瓦。截止 2021 年 2 月底，NEAR 生态中已包含了基础设施、DApp、开发工具、DeFi、NFT 五大主要领域，尤其在基础设施方面进行了重点的布局，协议内的生态项目 49 个，并且这一数字还在持续的增加中，其 DeFi 生态完整的系统构成已经初具雏形，正在蓄势待发。NFTMintbaseMintbase 是一个购买、销售和铸造 NFT 的市场，允许企业和创意人士推出自己的商店，也是一个以太坊的知名项目，目前已经有 1000 多家商店，8 万多笔交易。由于以太坊高昂的运行成本，Mintbase 已经在 NEAR 上开发了新版本并部署在 NEAR 的测试网，目前正在进行邀请式的公测，预计在 2021 第二季度正式上线。ParasParas 是 Near 生态内一款数字艺术卡牌应用（Digital Art Cards） ，便于创建、交易、收集 DAC 数字艺术卡片，构建面向创作者、收藏者的多合一社交 DAC 市场。延伸阅读： 《玩转 Near 的 NFT 平台--Paras》ARterraARterra 是一个粉丝互动平台，它通过奖励 NFT 通证、代币和 AR 游戏奖励等等，来提升粉丝的参与度。Flux 和 ARterra，这两...

1992天前dy zhang#1inch #Aave #Balancer #Chainlink #dapp #DeFi #EVM #Mintbase #NEAR #NFT #Paras #Snark.Art #以太坊 #公链 #分片 #游戏 #项⽬进展