Repository · steady
adamreynolds-io/compact-zkir-lint
Static analyzer for Compact ZKIR files — detects JS/ZK divergence patterns where compact-runtime succeeds but proof validation fails
Repository · steady
Static analyzer for Compact ZKIR files — detects JS/ZK divergence patterns where compact-runtime succeeds but proof validation fails