@MinaProtocol shared details of its upcoming hard fork, which will focus on smoother upgrade automation, halving slot times to improve performance, and easing zkApp constraints. Potential additions include boosted network throughput, expanded limits, and partial Rust node release.
Other proposals - like automated staking and governance tools - are under review. Final decisions await community input and formal MIP approval: https://forums.minaprotocol.com/t/fall-2025-hard-fork-plans/6836…
The project just released its Mainnet version 3.1.0, featuring major improvements in performance and stability. The update enhances ledger sync speed, reduces block production time to under 45 seconds, and improves memory usage. New tools support custom SNARK coordinator setups.
Users can upgrade via Docker or Debian packages, with full documentation provided. Several bug fixes and code cleanups are also included in this release: https://github.com/MinaProtocol/mina/releases/tag/3.1.0…
@zktrivo of @o1_labs, reported an update to o1js featuring a new experimental MinaProgram API for streamlined zkApp development, including types like Account and Authorization. Enhancements include a revamped transaction flow, runtime table support, BigInt upgrades, and core crypto exports. Rust is now on 1.79.0, with updated bindings to the latest proof system: https://x.com/zktrivo/status/1907695786512552100…
Lastly, a new package 'eddsa-o1js' has been released in the o1js ecosystem. It enables EdDSA signature verification in ZK, supports Edwards25519, and offers efficient twisted Edwards curve operations. The library integrates with o1js, and contributions are encouraged via pull requests: https://x.com/zktrivo/status/1907852551866765692
@AleoHQ’s cross-chain bridge @verulink has integrated @0xPredicate to speed up transfers between @ethereum and Aleo without compromising security. Using real-time address screening and a multi-attestor model, Verulink reduced its attestation delay from 24 hours to 15 minutes. It maintains ARC-100 compliance and enforces blacklist checks and withdrawal limits to ensure secure, compliant asset transfers:https://aleo.org/post/verulink-predicate-cross-chain-transfers/…
Aleo will also take part in @HouseofZK's Zero-Knowledge & Bitcoin College Tour - New York edition - on April 26th, hosted at the Aleo NY office.
The event, organized in collaboration with @NYUBlockchain, @YaleBlockchain, @BlockchainatCU, and @pton_blockchain, will feature industry leading speakers from projects like @ProjectZKM, @GOATRollup, @Edu_DAO, @LBank_Exchange, @GoKiteAI, @LazAINetwork and @NovaNet_zkp: https://x.com/HouseofZK/status/1909911839850344761…
Finally, @ProvableHQ has released snarkOS v3.6.x for Aleo, now live on testnet and arriving on mainnet April 22, 2025. The update increases validator count to 30, boosts throughput to 65 TPS, and adds spend limits. It also enhances validator performance, storage handling, and telemetry tracking, with CUDA support and developer tooling improvements included: https://provable.com/blog/announcing-snarkOS-v3.6.x
@horizenglobal has released ZenIP 42409, an addendum to its previous tokenomics plan, proposing a new allocation for the remaining 5 million unminted $ZEN following its migration to @base.
Key categories include community incentives, grants, marketing, and a long-term sustainability fund. Voting on the proposal opens April 21 and closes April 24, 2025, via Snapshot: https://mirror.xyz/0xF4D306be0E45E78bfE29588Bd018fe9CE405a62d/wZY9WrXuAcwVW48gOlfnLEwvf6yz5uVE0BJFWCk6DEg…
The Horizen 2.0 private testnet also launched on Base following a community vote to migrate. While it remains closed for now, the team signals that broader access is coming soon: https://x.com/horizenglobal/status/1907886831947100630…
In other news, @gwendolynregina, VP of Business Development & APAC at @HorizenLabs, moderated the panel 'The Great ZK Prediction Market' at The Boundless House of ZK event, jointly organized by @boundless_xyz and @HouseofZK.
Gwendolyn was joined by @momir_amidzic of @IOSGVC, @bruce_aiweb3 of @SummerEverest, and Ether Chen of @BingXOfficial to discuss what the future holds for ZK: https://x.com/HouseofZK/status/1908840175452438642…
Finally, @HorizenLabs CEO, @robviglione joined @CryptoSlate to talk about how ZKPs can help ensure AI systems remain secure, private, and trustworthy as they grow more autonomous.
Rob warns that without verifiability, AI agents risk exposing sensitive data or making critical errors - ZKPs offer a scalable solution to prove compliance without revealing private data, enabling responsible AI deployment across industries: https://cryptoslate.com/zk-can-lock-ais-pandoras-box/
@Aleph__Zero has launched Mainnet 15.2, advancing decentralization and validator accountability. Key updates include on-chain ABFT performance monitoring, improved censorship resistance, and upcoming validator banning for low scores.
The release also brings security fixes, randomized committee selection, and enhanced consensus protection. These changes aim to support a more transparent, secure, and permissionless validator ecosystem: https://alephzero.org/blog/mainnet-15-2-more-decentralization-and-validator-accountability/…
Additionally, the project integrated @BanxaOfficialwith its EVM layer, enabling users to purchase AZERO with fiat through Apple Pay and other methods.
In the upcoming Spring Release, Banxa will serve as the default on-ramp in @Common__App, their privacy-focused mobile app, allowing seamless account funding and access to DeFi tools from supported regions: https://alephzero.org/blog/aleph-zero-evm-banxa-integration-for-common/…
Lastly, Aleph Zero’s Shielder privacy system has passed a two-week audit by @zksecurityXYZ. The review covered ZK circuits, smart contracts, and the SDK. No critical issues were found, and all identified concerns were addressed: https://alephzero.org/blog/shielder-audit-by-zksecurity-complete/
@DuskFoundation has launched DuskPay, a blockchain-based payment system designed for secure, compliant, and instant transactions. Italian gaming companies PlayMatika and BetPassion will integrate the platform, streamlining payments in a €150 billion market: https://dusk.network/news/duskpay-announced/…
Without user-side blockchain interaction, DuskPay aims to modernize online payments as Europe’s digital financial sector continues rapid expansion.
Also, Dusk has announced a collaboration with @tradeon21x to improve institutional access to on-chain real-world assets. As part of the partnership, 21X will integrate DuskEVM, supporting Dusk’s ongoing efforts to bridge regulated and decentralized finance through strategic industry partnerships: https://x.com/DuskFoundation/status/1912784261154746875
@anomafoundation has opened applications for Round 2 of the @namada Delegation Program, offering six-month delegations to up to 50 validators: https://namada.net/blog/namada-delegation-program-round-2…
Applicants must meet technical and ethical criteria, with past participants required to reapply. Applications close April 30, 2025, and selection is based on uptime, contributions, and commitment to Namada’s long-term mission.
In a new episode of @HouseofZK Radio, @adrianbrink, Co-founder of @anoma and @namada, joined @alicelingl and @pavel_sinel to talk about his path from early work on Tendermint and @cosmos to designing privacy-first, intent-based systems. They dive into Anoma’s architecture, local sovereignty, and how declarative protocols can improve scalability and privacy in Web3: https://x.com/HouseofZK/status/1909292623371944087
@ebfull, Developer of @Zcash, introduced ragu - a Rust library developed under Project Tachyon to scale Zcash’s shielded payments. It’s optimized for the Orchard protocol and Pasta curves, supports non-uniform circuits, uses simplified arithmetization, and introduces a Maybe<T> abstraction to improve proof generation efficiency. Ragu is focused on performance, code clarity, and compatibility with modern PCD protocols: https://seanbowe.com/blog/ragu-for-orchard-part1/…
@ElectricCoinCo plans to release @zashi_app 2.0 with a redesigned interface, Tor support, and DEX integration. On/off-ramps and enhanced security are also being explored.
In parallel, work continues on launching Zcash Shielded Assets, retiring zcashd, and shifting to the Zebra node. The company is researching quantum resilience, PoS, and governance models, collaborating with the @ZcashFoundation, @qeditzkp, and other ecosystem teams:https://electriccoin.co/blog/ecc-roadmap-q2-2025/…
They endorsed the Community and Coinholder Funding Model for Zcash. The model empowers coinholders with 60% of development fund control, maintains current community grant structures, and adds legal, transparent, and time-limited governance. ECC affirms implementation is feasible by November: https://x.com/ElectricCoinCo/status/1912148386163077182
@GravityChain has partnered with @zan_team, integrating its fast and stable RPC infrastructure into the Gravity Alpha mainnet.
Developers can now build Web3 projects more efficiently using ZAN Node within the Gravity ecosystem:
@hyle_org shared an article exploring how grantee @0xteddav created zkTenant, a privacy-preserving app for French housing applications. By verifying income and citizenship through official 2D-Doc barcodes, zkTenant proves eligibility without exposing sensitive data. Built using @NoirLang, it processes documents directly in-browser and avoids centralized servers.
Future goals include wider document compatibility, passport support, and improved signature handling for broader, inclusive use:https://blog.hyle.eu/privacy-preserving-housing-applications-with-david/…
@HouseofZK also released an article analysing the Hylé blockchain by guest writer, @arunim_shukla.
The article, which provides a comprehensive overview of Hylé, can be found here: https://x.com/HouseofZK/status/1912843854539088168
