G GameFier
GameFier是连接玩家、开发者的Web3游戏生态，让游戏资产真正属于玩家，实现Play to Earn新体验。
返回导航 
C G P L 比 N S 
E 
O
C Certora
https://www.certora.com/
站点介绍
Certora 是一家专注于区块链智能合约和协议安全验证的公司，其核心产品 Certora Prover 是一款基于形式化验证技术的工具，能够对智能合约进行数学级别的安全性验证。
站点资料
Certora已被收录到 Web3Nav，当前归属于开发工具等主题分类。 该资源的相关主题包括：开发者。
官方地址
官方访问地址：certora.com。
举报站点
相关推荐
G P Parity
Parity 的创始人是以太坊的联合创始人Gavin Wood。Gavin完成了以太坊的黄皮书和早期核心代码的开发后，成立了Parity Technologies，开发了Parity以太坊客户端。Parity基于Rust开发，Rust...
L Litecoin Core Client
Litecoin Core Client 支持LTC. 这个钱包提供Personal 安全和Medium 匿名。 钱包支持Open Source 功能和Windows,Linux,Mac OS,Android 平台。为用户提供了良好的...
比 比特币核心（Bitcoin Core）
Bitcoin Core Client可以自己完全确认比特币交易，而不必依赖外部服务。运行中的钱包有助于去中心化的比特币生态系统，进出交易的高度隐私，重点强调用户对钱包，交易和隐私惯例的控制。使用图形用户界面GUI或一组命令行工具来访...
N Neon Wallet
Neon Wallet于2014年正式立项，2015年6月在Github上实时开源，自成立以来，NEO团队亲历了区块链行业的高潮与低谷，数字货币市场的狂热与冷却。我们相信，科技是这个时代变迁的原动力，在这股动力的推动下，我们将迈入新的...
S Scroll（SCR）
Scroll 成立于2021年，是一个 EVM 等效的 zk-Rollup 以太坊扩容项目。旨在做一个通用型的网络，为开发者提供与以太坊一样体感和安全性，但是比以太坊吞吐量更高、验证更快、Gas 更便宜的网络。2022年8月开放 Pr...
E ETHNewYork
ETHNewYork是围绕以太坊生态系统的重要开发者会议和活动。
O Orca DEX
Dexs protocol on Solana, Eclipse