Files
aitbc/apps/zk-circuits/ml_inference_verification.circom
AITBC System b033923756 chore: normalize file permissions across repository
- Remove executable permissions from configuration files (.editorconfig, .env.example, .gitignore)
- Remove executable permissions from documentation files (README.md, LICENSE, SECURITY.md)
- Remove executable permissions from web assets (HTML, CSS, JS files)
- Remove executable permissions from data files (JSON, SQL, YAML, requirements.txt)
- Remove executable permissions from source code files across all apps
- Add executable permissions to Python
2026-03-08 11:26:18 +01:00

27 lines
686 B
Plaintext

pragma circom 2.0.0;
// Simple ML inference verification circuit
// Basic test circuit to verify compilation
template SimpleInference() {
signal input x; // input
signal input w; // weight
signal input b; // bias
signal input expected; // expected output
signal output verified;
// Simple computation: output = x * w + b
signal computed;
computed <== x * w + b;
// Check if computed equals expected
signal diff;
diff <== computed - expected;
// Use a simple comparison (0 if equal, non-zero if different)
verified <== 1 - (diff * diff); // Will be 1 if diff == 0, 0 otherwise
}
component main = SimpleInference();