AntChain OpenLabs

We are building the full-stack infrastructure for the next generation of Web3 & AI. Here is the ecosystem powered by AntChain OpenLabs & Ant Digital Technologies, categorized by stack: 1️⃣ Core Infrastructure - The bedrock of performance and security. DTVM / zkDTVM (Virtual Machines) AntChain BaaS & Bridge Jovay @JovayNetwork (L2 Network) NitrooZK-stwo & ZK GPU Acceleration 2️⃣ AI & Agent Intelligence - Enterprise-grade autonomy and intelligence. DTClaw (Secure Autonomous Agents) Agentar (Financial Agents) Anvita @AnvitaFlow (TaaS & Flow) LingDT (LLM) SmartCogent (AI tools) 3️⃣ Products & Services - Bridging the digital and physical world. TopNod @Top_nod (Wallet) ZOLOZ (Digital Identity) Look-to-Pay (AI Glasses) & Physical Asset On-Chain ZAN @zan_team (Node Service & ZK Acceleration & Smart Contract Audit) A massive ecosystem driving innovation. Which project are you most excited about? #Web3 #AI #ZK #Blockchain #AntChain #Developer

Today, we are announcing 18 million devices on-chain! On our journey to bridge the real world and Web3, we’ve just taken another giant leap forward! Large-scale, high-value trusted physical assets are now successfully on-chain! We are breaking the boundaries of traditional finance, bringing unprecedented liquidity and vitality to physical assets on-chain! 18 million physical devices are "breathing" on-chain in real time! The integration of massive IoT devices injects the most authentic off-chain data into on-chain assets, creating an absolutely trustworthy on-chain ecosystem! 18 Million Devices = A Future of Infinite Possibilities! Thank you to every ecosystem builder for your support. We will keep accelerating to ensure real-world value flows freely on-chain! Let’s witness the stars and seas of Web3 together!

How to run loop engineering across the full development lifecycle? We propose a three-layer agentic workflow framework centered on the critical challenge of rule codification: 🔹 Unify the general development process to ensure alignment and baseline execution across all projects. 🔹Distill project rules from Agent coding sessions, leveraging hook mechanisms as the binding agent. 🔹 Close the loop spanning Process → Artifacts → Rules → Automation. openlabs-intl.antdigital.com/0x/How-to-Run-… #AICoding #LoopEngineering

When AI Coding Goes Deep into the Development Process, the Hardest Part Isn't Writing Code. This post provides a brief overview of the real-world AI coding engineering practices adopted by engineers at AntChain OpenLabs. 🔗 openlabs-intl.antdigital.com/0x/When-AI-Cod… Chinese 🔗: mp.weixin.qq.com/s/N3BYiZhIqm9b…

zkDTVM v0.6.3 is live on Ethproofs (@eth_proofs). This release delivers significant improvements over v0.6.2: 🔹200ms reduction in proving time 🔹90KB reduction in proof size Stay tuned for the next version, which aims to achieve 128-bit security with a proof size of just 280KB. openlabs-intl.antdigital.com/zkDTVM #zkEVM #zkVM #EthProofs

GPU acceleration for post-quantum signature aggregation by @AntChainOpenLab folks! Results look great! openlabs-intl.antdigital.com/0x/From-Thousa…

Update on Jovay: We’re pushing transaction latency down to ~100ms. Impact: Inheriting L1 security while enabling high-performance L2 scalability. This breaks the Blockchain Trilemma and unlocks real-time capacity for CLOB and Web3 Gaming. Architecture blueprint: 1. Speculative Pipelining: Blurring the lines between consensus and execution. Blocks are executed speculatively while consensus is being reached. 2. Temporal Latency Folding: Concurrent multi-block processing to crush block-time gaps. 3. Conflict-Aware Scheduling: Preemptive conflict detection in the mempool for optimal parallel routing.

@AntChainOpenLab @eth_proofs Any update jovay

Our zkDTVM 8-GPU prover is now live on Ethproofs (@eth_proofs). zkDTVM is the world's first zkVM to achieve real-time proving on 8x 5090s: 🔹 99% proving < 7.7s 🔹 Avg proving time: 4.64s 🔹 Security: 100-bit (UDR) 🔹 Proof size < 600 KB Next: Proof size < 300 KB & 128-bit security. #ZK #zkVM #Ethereum #EthProofs #RealTimeProving

zkDTVM v0.6.2 is live on @eth_proofs: Proof size < 600KB while performance remains largely unchanged. Highlights: 🔹Path-Pruned FRI Verification 🔹Template-Clone Parallel Compilation 🔹FRI Early Termination 🔹Batched Witness Reads + Constant Deduplication

Post-quantum signatures are orders of magnitude larger than ECDSA — a dealbreaker for high-throughput blockchains. Our zkDTVM changes that: 4,500 leanXMSS sigs (~5.3 MiB) is compressed into one ZK proof (~577 KiB). Single GPU results: ⚡ 17,857 leanXMSS verifications/sec ⚡ 21× faster than leanVM (CPU prover) ⚡ End-to-end quantum-resistant Next up: SPHINCS+. Full writeup 👇 openlabs-intl.antdigital.com/0x/From-Thousa…

Introducing Pangolin: A padding-aware commitment scheme based on Basefold. Instead of materializing repeated padding rows after encoding, Pangolin uses a simple observation: Back-padding in the trace becomes front-padding in the encoded matrix. So the commit path can hash the padding row once and reuse its digest. Same commitment semantics — less prover work: ✅ Store the padding row once ✅ Fewer encoded rows to hash/read ✅ Less prover data and memory traffic ✅ GPU-friendly: less global-memory bandwidth pressure The 5th post in the zkDTVM series: openlabs-intl.antdigital.com/0x/Pangolin-Pa…

Last week, zkDTVM proved 100% of Ethereum blocks. Every proof was under 8.8s, with an average time of just 3.1s. Fastest. Most Stable. Most Reliable.

Wow, the metrics this week from the RTP Cohort on Ethproofs are fantastic! 🤯 - @AntChainOpenLab: 99.9% on both performance (sub-10s) and liveness - @brevis_zk: 91.77% on performance and 99.21% liveness 💪

Introducing UniSkip-in-the-Tail: GPU‑native optimization for SumCheck's underutilized tail rounds. Instead of suffering through sequential memory‑bound rounds with shrinking trace height, we consolidate multiple tail variables into a single higher‑degree univariate evaluation. One algebraic construction — zero extra reconciliation phases: ✅ No Phase‑2 protocol (unlike Whirlaway) ✅ k rounds → 1 round via Lagrange bit‑lifting ✅ Alleviates memory bottleneck, boosts GPU resource utilization ✅ GPU‑friendly: parallel finite‑field eval over fixed interpolation domain openlabs-intl.antdigital.com/0x/UniSkip-in-…

Another record broken! With better multi-GPU optimizations, zkDTVM’s avg proving time on 16 GPUs is now 3.5s. #zkDTVM #EthProofs #Ethereum #GPU #ZK

This week we had 3 provers make the RTP Cohort on Ethproofs. Congrats to @ziskvm, @brevis_zk, and @AntChainOpenLab! zkDTVM was integrated into soundcalc (link below) last week as their final requirement ...let's see if they can make the liveness and performance cut again next week!

zkDTVM enters the RTP cohort on @eth_proofs: 99.91% liveness, 99.91% of proofs < 10s.

Introducing FusedCheck: a simpler way to verify LogUp in multi‑chip STARKs. Instead of running-sum columns or 300+ round GKR circuits, we fuse the permutation summation directly into the existing constraint sumcheck. One protocol instance — zero extra rounds: ✅ No extra columns or AIR constraints ✅ No shifted openings (~2× PCS cost saved) ✅ ~20 sumcheck rounds vs. 300+ in GKR ✅ GPU‑friendly: minimal sequential barriers Part 3 of the zkDTVM deep‑dive: openlabs-intl.antdigital.com/0x/FusedCheck-…

zkDTVM Docker release is live! Run it and experience the fastest real-time prover for Ethereum block. What’s Next: 🔹May: Proof size <600KB (performance unchanged) 🔹August: Full open-source release Stay tuned! 👇 github.com/AntChainOpenLa…

Part 2 of the zkDTVM deep‑dive is out — read the post: openlabs-intl.antdigital.com/0x/A-GPU-Optim… We break down the SumCheck PIOP, the most GPU‑critical stage of the prover, and how we reshape it so every round becomes a large GPU‑saturating batched kernel. Inside: 🔹One SumCheck for all chips 🔹Univariate‑skip‑in‑the‑tail 🔹Algebraic decomposition 🔹Trace compression