Hongshan

Last week @CertiK delivered and finalized their 2nd Ethereum Foundation grant relating to formal verification in zkVMs. This time the CertiK FV team experimented with zkVM circuit correctness proofs in Verus! More below 👇

吴说获悉，根据 SoSoValue 数据，昨日（美东时间 7 月 20 日）比特币现货 ETF 总净流入 2.27 亿美元，持续 5 日净流入。以太坊现货 ETF 总净流入 3808.86 万美元。 https://wublock123.com/news/bitcoin-spot-etf-net-inflow-227m-jul-20-64995

姚期智的姚班培养了很多 AI 界精英，助力中国科技突围、解决卡脖子问题。 同样源自姚班，由姚期智和吴清亲自揭牌的 Conflux，说不定也快迎来爆发了。 https://x.com/oragnes/status/2079200204805607702

A skill that turns a single image into editable Three.js code. Instead of a static asset, you get clean 3D you can animate, tweak, and drop straight into your site. Great for scroll effects, product demos, and interactive experiences. AI is great at generating images, but it still struggles with e

CertiK Completes Second Ethereum Foundation Grant on Formal Verification in zkVMs Using Verus

NEW: Scientists use AI to fully virtually unwrap a 2,000-year-old scroll burned in the eruption of Mount Vesuvius, revealing 20 columns of text.

想不到Conflux 树图已经成立 8 周年了！ 第一次接触树图还是在一个撸 $FC 的微商群。 后来主网上线后就开始用显卡挖 $CFX ； PoS上线后又把显卡卖了换成 $CFX 跑PoS 。 一直持有 $CFX 和 $FC 到现在， 祝树图八周年快乐，期待下一个八年 $CFX 涨破10美元！

NEW: Scientists use AI to fully virtually unwrap a 2,000-year-old scroll burned in the eruption of Mount Vesuvius, revealing 20 columns of text.

Great to see CertiK represented at the Vietnam RWA Summit. @JohnKiewBD joined a panel on digital asset security, sharing perspectives on securing the shift from traditional markets to on-chain finance in the age of AI. As institutional adoption accelerates, security will continue to be the foundat

Mike (@MikeSilagadze) rn While this is a bit tongue-in-cheek, I genuinely believe more people should have a debanked or neobank option readily available to them on the off chance they be seen as undesirables by those who can debank them forcefully. https://x.com/WatcherGuru/status/20784901527085425