Herodotus strikes again, unlocking a wave of new features on Starknet: L3 appchains, ZKML, ZKLogin, and beyond! Powered by StarkWare’s cutting-edge SHARP proving system, Atlantic puts advanced ZK capabilities right into developers’ hands. It acts as a gateway to SHARP, making it accessible for the first time, and delivering 3 core features: 💠 Affordable, efficient Cairo proving 💠 Cairo proof verification on Ethereum 💠 Cairo proof verification on Starknet (think L3 appchains 👀) By opening up SHARP to all, Atlantic lets developers validate any Cairo computation fast and affordably. This paves the way for indie devs to build everything from ZKML and L2/L3 appchains to ZK-powered dApps like ZKEmail, ZKLogin, ZKTLS; even privacy-focused chains or next-level coprocessors! And @HerodotusDev thought of everything: an intuitive, user-friendly interface makes it easy for developers to upload Cairo programs, auto-generate traces, and produce proofs effortlessly. Everyone can access it, so dive into it now 🫳 https://starkware.co/blog/atlantic-brings-sharp-to-devs/