diff --git a/.github/workflows/validate-circuits.yml b/.github/workflows/validate-circuits.yml index c54ede75..49600026 100644 --- a/.github/workflows/validate-circuits.yml +++ b/.github/workflows/validate-circuits.yml @@ -75,7 +75,7 @@ jobs: echo "$HOME/.nargo/bin" >> $GITHUB_PATH - name: Add Noir to PATH - run: echo "$HOME/.nargo/bin" >> $GITHUB_PAT + run: echo "$HOME/.nargo/bin" >> $GITHUB_PATH - name: Detect changed circuit files id: detect diff --git a/benchmarking-suite/frameworks/circom/circuits/test.circom b/benchmarking-suite/frameworks/circom/circuits/test.circom new file mode 100644 index 00000000..737512ce --- /dev/null +++ b/benchmarking-suite/frameworks/circom/circuits/test.circom @@ -0,0 +1,11 @@ +pragma circom 2.1.6; + +template Multiply() { + signal input a; + signal input b; + signal output out; + + out <== a * b; +} + +component main = Multiply(); \ No newline at end of file diff --git a/benchmarking-suite/frameworks/circom/circuits/test2.circom b/benchmarking-suite/frameworks/circom/circuits/test2.circom new file mode 100644 index 00000000..90af2299 --- /dev/null +++ b/benchmarking-suite/frameworks/circom/circuits/test2.circom @@ -0,0 +1,14 @@ +pragma circom 2.0.0; + +/*This circuit template checks that c is the multiplication of a and b.*/ + +template Multiplier2 () { + + // Declaration of signals. + signal input a; + signal input b; + signal output c; + + // Constraints. + c <== a * b; +} \ No newline at end of file diff --git a/benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml b/benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml new file mode 100644 index 00000000..0e6c7b44 --- /dev/null +++ b/benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml @@ -0,0 +1,6 @@ +[package] +name = "test" +type = "bin" +authors = [""] + +[dependencies] \ No newline at end of file diff --git a/benchmarking-suite/frameworks/noir/circuits/test/src/main.nr b/benchmarking-suite/frameworks/noir/circuits/test/src/main.nr new file mode 100644 index 00000000..3c30bf08 --- /dev/null +++ b/benchmarking-suite/frameworks/noir/circuits/test/src/main.nr @@ -0,0 +1,11 @@ +fn main(x: Field, y: pub Field) { + assert(x != y); +} + +#[test] +fn test_main() { + main(1, 2); + + // Uncomment to make test fail + // main(1, 1); +} diff --git a/main.py b/main.py new file mode 100644 index 00000000..5091021f --- /dev/null +++ b/main.py @@ -0,0 +1,4 @@ +def main(): + print("Hello, World!") + +main() \ No newline at end of file