Just read Solayer’s Q1 update. They’re making strong progress on building foundational infrastructure for on-chain apps. Two key updates: First, the teams from InfiniSVM and Fuzzland are now fully part of Solayer. That brings deep expertise in ZK proving and smart contract security under one roof. Second, they’re developing two core layers: • A Proving Layer using InfiniSVM tech. It recently ran a 15 million-constraint ZK circuit in just 16 seconds. This unlocks new use cases like zkBridges, DePIN, and contract verification. • A Security Layer that combines fuzz testing and formal verification. Their engine found 27 bugs across 7 projects during internal testing. They’ve also open-sourced tools like Iodine, a fast ZK circuit runner, and CirC, a language for building general-purpose circuits. Overall, @solayer_labs is quietly building critical tools to make smart contracts faster, safer, and easier to work with. Public product releases are coming soon. Full Q1 update -