@alignedlayer has launched its ZK verification layer in beta on Ethereum mainnet. The system verifies 200 proofs/sec at 2100 gas/proof - over 10x Ethereum’s capacity with 90% cost savings. Plans include boosting capacity to 10k proofs/sec, stabilizing batchers, and improving SDK integration: https://blog.alignedlayer.com/now-live-on-ethereum-aligned-mainnet-beta/
Aligned also underwent audits by @ConsensysAudits, @FuzzingLabs, @LeastAuthority, and @trailofbits. Key fixes addressed out-of-bound vulnerabilities, denial-of-service risks, and MEV attacks. All critical issues were resolved, ensuring stronger security, transparency, and efficiency: https://blog.alignedlayer.com/summary-of-the-security-audits-for-our-proof-verification-layer/
@Pi_Squared_Pi2 launched the Universal Language Machine, allowing developers to write smart contracts in any language on any blockchain. Powered by formal semantics, ULM removes barriers to Web3 adoption, enabling millions of Web2 developers to create dApps using familiar coding languages: https://blog.pi2.network/ulm/ Additionally, Pi Squared have integrated with @wormhole’s Native Transfer Token framework. This collaboration enhances cross-chain interoperability, enabling secure, scalable, and efficient blockchain communication. The USL supports multiple programming languages and proof mechanisms, driving broader adoption:https://blog.pi2.network/usl-wormhole-recap/
@ZKVProtocol launched their Runtime Upgrade 0.9.0 and Node Release 0.7.0, enhancing proof verification with Domains for flexible receipt handling and a decentralized relayer via Hyperbridge. Token bonding ensures fair resource use, while zkverifyjs now supports Groth16 Gnark proofs: https://blog.zkverify.io/posts/zkverify-s-runtime-upgrade-0-9-0-and-node-release-0-7-0In addition, zkVerify introduces zkverifyjs v0.5.0 a update, requiring users to upgrade for continued functionality. The release adds optimisticVerify, enabling fast local proof verification without blockchain submission: https://x.com/ZKVProtocol/status/1867640636490551750
@LumozOrg launched its mainnet, enabling esMOZ and $MOZ token claims, zkVerifier license acquisition, and token redemption: https://mirror.xyz/lumozorg.eth/AQ4eElC2-3ATfaDopzVu_K2E_6agl0m3GdZea-tbFSQ
@NovaNet_zkp introduced zkBasename, a privacy-focused dApp on Base leveraging ZKPs. Users can prove ownership of accounts, NFTs, and balances without revealing personal details: https://www.novanet.xyz/blog/introducing-zkbasename-elevate-your-privacy-on-base-with-zero-knowledge-proofs
@nodekitorg's Javelin introduces cross-chain composability via superbuilders, enabling atomic execution of multi-chain transactions. Powered by @SuccinctLabs's SP1 ZK-proofs, builders can now ensure secure, fast, and verifiable cross-chain settlements: https://www.nodekit.xyz/posts/zk-superbuilders NodeKit now also brings cross-chain composability to LayerZero, enabling seamless multi-chain app interaction through its Javelin superbuilder: https://x.com/nodekitorg/status/1864354009148006567
@ElectronZK is collaborating with @NexusLabs on proof aggregation. Developers can now access up to 95% cheaper proof verification on major L1s like Ethereum and Bitcoin.Electron also partnered with @kernel_dao to decentralize and secure its proving network using $BNB’s security and liquidity. This collaboration boosts Electron’s proof verification efficiency while leveraging Kernel’s restaking infrastructure: https://x.com/ElectronZK/status/1861389261066702924
@nebrazkp announced the incubation of @proofdotfun, a platform leveraging ZKPs to enable efficient, permissionless knowledge markets. By automating attribution, verifying contributions, and bypassing gatekeepers, it transforms intellectual outputs into digital assets, driving innovation and technological sovereignty.
