LambdaClass Blog
  • Home
  • GitHub
  • Data Science in Julia for Hackers
  • LambdaClass
Sign in Subscribe

cairo

A collection of 1 post
Responsible disclosure: A potential sequencer-prover inconsistency in the Cairo VM
cairo

Responsible disclosure: A potential sequencer-prover inconsistency in the Cairo VM

On January 26th Starkware informed us that they had found a critical issue in the Cairo VM related to a program that would successfully execute on the VM but would violate the AIR constraints. A fix was already implemented in a PR, merged, and a release was made and deployed.
07 Feb 2025 2 min read
Page 1 of 1
LambdaClass Blog © 2025
Powered by Ghost