
AntChain OpenLabs
118 posts

AntChain OpenLabs
@AntChainOpenLab
Unleash Hardcore Tech, Innovate Beyond Bounds






great week pushing ethereum R&D/strategy with 20+ L2 teams from all over the world all together


















Thrilled to share that our paper with @zhao_minghao on ZK verifiability for graph databases has been accepted by ICDE! From "trust but verify" to "private yet verifiable"—this is the future! We need not only verifiable self-driving cars but also verifiable graph databases! @VitalikButerin Graph databases face a critical challenge: Unlike SQL queries that map to static circuits, graph algorithms require iterative traversals and dynamic access patterns—fundamentally incompatible with ZKP arithmetization! Our ZKGraph introduces expansion-centric operator decomposition to bridge this gap: ✅ Decomposes complex graph queries into fine-grained expansion primitives. ✅ First system enabling arbitrary graph query verification while preserving data privacy. ✅ 17.4× performance improvement over naive circuit implementations. ✅ Constant verification time with perfect scalability. Next: We'll extend ZKGraph to support streaming graph updates and cross-chain verifiable computations. @frida_ying @ECNUER @drakefjustin @PolyhedraZK @ezklxyz arxiv.org/pdf/2507.00427











