Here we track the progress of the leading builders within the ZK-Coprocessing ecosystem, documenting recent significant releases, technical breakthroughs and general updates.
@lagrangedev has launched the Infinite Proving Layer - an expansion of its Prover Network that supports zkRollups in addressing censorship risks and scaling challenges. With modular subnetworks and infinite scalability, Lagrange enables dynamic proof generation for rollups, apps, and coprocessors. The network, supported by 85+ operators, offers dedicated bandwidth, proof liveness, and cost-efficient operations: https://lagrange.dev/blog/infinite-proving-layer
@brevis_zk has introduced SpaZK, a ZKML architecture that enhances verifiable AI model performance by nearly 100X. SpaZK leverages ternary networks for model simplification, which supports ZKPs without accuracy loss. This approach reduces the computational demands of ZKML, making it practical for real-world apps. SpaZK integrates with frameworks like EZKL and Giza, enhancing Brevis's ZK Coprocessor capabilities. It promises significant efficiency in proving, especially for linear layers: https://blog.brevis.network/2024/11/08/spazk-100x-faster-verifiable-ai-powered-by-cross-stack-zkml-optimization/
@SpaceandTimeDB has launched SXT Chain, a blockchain for ZK-proven data, now live in testnet. SXT Chain addresses key DeFi challenges, enabling trustless, cross-chain data processing via Proof of SQL. Developers can query onchain and offchain data using SQL, secured by ZKPs. The chain supports Ethereum, ZKsync, Bitcoin, and more, with validators ensuring data integrity. Integrated with Chainlink, it enables ZK-verified query results for smart contracts. SXT aims to power AI-blockchain use cases, smarter DeFi, and decentralized data-driven apps for a trustless web3 future: https://spaceandtime.io/blog/introducing-sxt-chain
@HerodotusDev launches Integrity Verifier V2 with enhanced STARK proof verification for @Starknet. Key upgrades include five new layouts, a split architecture, Cairo 1 support, and cost-efficient verification at just $0.11 per proof. Audited by @zksecurityXYZ, it boosts security, efficiency, and developer access: https://herodotusdev.medium.com/introducing-integrity-verifier-v2-949f77736e53
@vlayer_xyz raised $10M in a pre-seed round led by @a16zcrypto, Credo Ventures, and Blocktower VC. The platform enhances smart contract capabilities with four new Solidity functions, enabling cross-chain, on-chain, and real-world data integration through advanced ZK and MPC cryptography: https://vlayer.xyz/blog/funding2024…
vlayer also released a whitepaper on storage proofs, highlighting their role in cross-chain interoperability and historical data access for Ethereum and L2 networks. The paper outlines key verification methods, compares Merkle structures, and proposes future multichain storage proof architectures: https://vlayer.xyz/blog/whitepaper-alert-historical-and-multichain-storage-proofs
@AutomataNetwork integrated @SuccinctLabs SP1 into its DCAP attestation stack, supporting Intel SGX and TDX. This upgrade enables efficient on-chain verification, open-sources the TDX Attestation SDK, and introduces a 41x performance boost, advancing TEE infrastructure for secure blockchain interoperability: https://blog.ata.network/towards-a-common-tee-stack-71a7812a4bf9
