A presentation on Caracal, a static analysis framework developed for analyzing Cairo smart contracts within the Starknet ecosystem.
We discuss the importance of security in smart contract development and highlight Caracal as a powerful tool for identifying vulnerabilities and optimizing Cairo contracts in the Starknet ecosystem.
Quantum advances threaten Bitcoin’s cryptography. See how Starknet’s quantum-resistant STARK proofs boost long-term security.
November 19, 2025
Cairo rolled out game-changing improvements to make the lives of developers easier—learn all about them here.
March 23, 2025
In this post, we’ll cover the challenges posed by centralized digital identity and explain the ways in which blockchain might be able to mitigate…
August 21, 2024
The developer experience on Starknet has changed significantly this past year, and here's what developers had to say about it.
August 14, 2024