starkware.co/blog
🔗
Atlantic brings SHARP to devs while elevating its functionality
The Herodotus team, which has worked closely with SHARP over the past two years, launched Atlantic to make it easier for developers to leverage SHARP. Atlantic offers developers three main functionalities:
· Proving service: Affordable and efficient proving of Cairo programs (while currently using Stone, Atlantic will support Stwo in Q3 2025)
· Ethereum proof verification: Verification of Cairo proofs on Ethereum
· Starknet proof verification: Verification of Cairo proofs on Starknet with the Integrity verifier