Invariant SAT Zero-IP ZK Scanner

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.

What’s Changed

Full Changelog: https://github.com/sellhotitemz-hue/invariant-sat-action/commits/v1.0.0

• Sellhotitemz-Hue
• GitHub Actions