Blockchain Tech
Circuit integrity and the $800 million asset freeze
Under-constrained circuits caused a soundness error that led to an $800 million bridged asset freeze. This failure occurred because the ZK prover failed to enforce…
Topic
Topic
Under-constrained circuits caused a soundness error that led to an $800 million bridged asset freeze. This failure occurred because the ZK prover failed to enforce…