1/EXPchain Testnet V3 upgrade is live.The world’s first zkML testnet with practical applications.For years, @Tiancheng_Xie and @jiahengzhang96 have been building the road to zkML. Today, we enter a new era. Explicitly: verified truth without exposure. https://t.co/RVbaxb4sqY ...

Core Concerns - AI is rapidly permeating various aspects of life, including bodies, jobs, economies, and culture [1] - This rapid advancement of AI introduces potential risks [1] Verifiable AI Importance - Verifiable AI is crucial for ensuring trust, safety, and accountability [1] - It is essential to verify the inner workings of AI systems [1] - Aligning AI systems with human values is paramount before they become uncontrollable [1]

https://t.co/iIvYX0H1m7Egg.Party (@EggDotParty):EGG V0.6.0 just dropped 🥚Your Coin Agents are here!— Query token info & live price— Spin up token-themed memes, avatars & videos🔵Official Agents now carry a blue check label.Today’s serving is just the starter — the next recipes are already cooking 🍳Enjoy https://t.co/772Qex4aio ...

FPGA Development - Fiat-Shamir (FS) 状态机在 FPGA 上的设计已启动 [1] - 目标时钟频率为 250 MHz [1] - 流水线阶段和控制逻辑正在积极开发中，以满足 Versal HBM 器件上的时序收敛 [1] Project Updates - 每周四更新项目进展 [1]

2/ Hash Function Implementations:Completed FPGA-based implementations of three cryptographic hash functions required for Fiat-Shamir: SHA2-256, SHA3-256, and Keccak256. Each design was validated for correctness and resource utilization, providing flexible options for different proof system configurations. ...

Let’s unpack the FPGA acceleration updates from the week of 09.01 and see the improvements integrated into Expander. https://t.co/6ANuJ4gFjh ...

3/ On-Chain Verification and Testing:Deployed and tested the Solidity contract across local and testnet environments. Focused on debugging, fine-tuning performance, and ensuring the end-to-end flow—from proof generation to on-chain verification—works reliably under realistic conditions.Stay tuned for more updates every Thursday. ...

2/ Unified Interface for Different Workloads:Consolidated the prover’s interface to support both straightforward circuits (such as hashing) and more sophisticated computation graphs (such as machine learning models). This flexibility ensures the system can scale from simple cryptographic tasks to complex computational workloads. ...

🔧 The development sprint for the week of 09.01 delivered several notable upgrades. Let’s dive in. https://t.co/4yMOoRQkNx ...

Thanks to our partner @aethireco for the founder spotlight on our co-founder @tianchengxieAethir Ecosystem (@AethirEco):🏆 Founder Spotlight on TianchengMeet @Tiancheng_Xie, a Ph.D. holder in Computer Science from UC Berkeley, who co-authored a breakthrough paper on trustless blockchain interoperability.Now he is building @PolyhedraZK, the future of Intelligence 🚀👇 https://t.co/C6LBZqb6v4 ...