Web3自动化解决方案Doxy Chain完成220万欧元种子轮融资，Level2 Ventures领投:9月6日消息，Web3 自动化解决方案 DoxyChain 完成220万欧元种子轮融资，Level2 Ventures领投，CVVC、Polish Satus Starter 和 Müller Medien 参投。
据悉，DoxyChain是一个为传统文档管理向Web 3.0世界的过渡构建解决方案。
目前该公司推出了两项新的SaaS功能，允许构建一个模块化的基础架构，让客户能够在此基础上开发自己定制的高级工作流程和用例。 10 月，该公司将推出NFT平台DoxyCert和数据交易平台DoxyConnect。[2022/9/6 13:11:00]
合约形式验证的反编译技术。
数据：ETH过去8天已反弹超30%:金色财经报道，尽管遭遇 3AC、Celsius 等大型机构投资者清算影响，但 ETH 仍展示了较强的反弹潜力，如果从 6 月 18 日触及的绝对底部来衡量当前反弹，ETH 价格在过去 8 天内已上涨超 30%，尽管仍低于 6 月 1 日的水平，但投资者还是将价格推回 1,200 美元区间，本文撰写时据 Coingecko 数据显示 ETH 价格达到 1217.60 美元，24 小时涨幅 1.6%。（u.today）[2022/6/27 1:32:52]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。