Version updated for https://github.com/sellhotitemz-hue/invariant-sat-action to version v1.0.0. This action is used across all versions by ? repositories. Action Type This is a Docker action. Go to the GitHub Marketplace to find the latest changes. Action Summary Invariant SAT ZK Circuit Security Scanner automates zero-knowledge circuit soundness and exploit witness scanning for GitHub CI/CD pipelines. It identifies under-constrained signals and proof forgery vulnerabilities before deploying code to production, ensuring the security of cryptographic circuits used in blockchain applications. The action supports various types of circuits including R1CS, SP1 zkVM AIR traces, Halo2 Plonkish matrices, and Aztec Noir smart contracts.