CertiK

网址:https://certik.org

DEX聚合器ParaSwap上线多链限价单功能,并扩展至NFT交易:8月10日消息,DEX 聚合器 ParaSwap 上线多链限价单功能,并扩展至 NFT 交易,目前已在以太坊、Polygon、BNB Chain、Fantom、Avalanche、Arbitrum 上可用。用户可以限价单形式实现代币到代币、代币到 NFT、多个代币到 NFT、NFT 到 NFT 的交易,API 用户也可利用 ParaSwap API 在限价单协议之上构建新用例。(Medium)[2022/8/10 12:14:30]

通过形式化验证,确保智能合约及区块链系统的安全性。

印度预算前预期调查:近八成受访者认为需加强加密监管:1月23日消息,周六的一项预算前预期调查显示,越来越多的印度民众要求加强对加密货币行业的监管。根据Grant Thornton Bharat的调查,近79%的受访者认为,印度Budget FY23应专注于监管加密货币和NFT。此外,超过75%的受访者认为预算案应集中于环保能源、《资料私隐条例草案》(Data Privacy Bill)及公共信贷登记计划。(Business Standard)[2022/1/23 9:07:25]

CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。

该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

FilecoinLunagram

Lunamint 开发的 Telegram 内置 Cosmos 钱包。 Lunagram概述, Lunagram信息, Lunagram区块链, Lunagram维基, Lunagram社交, Lunagram Medium, Lunagram ICO, Lunagram回顾, Lunagram快讯, Lunagram追踪

MANANomic Labs

设计、构建和审核分布式系统。 Nomic Labs概述, Nomic Labs信息, Nomic Labs区块链, Nomic Labs维基, Nomic Labs社交, Nomic Labs Medium, Nomic Labs ICO, Nomic Labs回顾, Nomic Labs快讯, Nomic Labs追踪

比特币交易Busy

Steem 区块链上的第三方内容社交平台。 Busy概述, Busy信息, Busy区块链, Busy维基, Busy社交, Busy Medium, Busy ICO, Busy回顾, Busy快讯, Busy追踪

SANDTenderly

基于以太坊 DApps 的智能合约监控、警报和故障排除。 Tenderly概述, Tenderly信息, Tenderly区块链, Tenderly维基, Tenderly社交, Tenderly Medium, Tenderly ICO, Tenderly回顾, Tenderly快讯, Tenderly追踪

[0:15ms0-2:470ms