rename files

pluto · Oct 29, 2024 · 28e93f9 · 28e93f9
1 parent 59ffed1
commit 28e93f9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/circom.yml b/.github/workflows/circom.yml
@@ -48,5 +48,5 @@ jobs:
 
     - name: Build witness for aes-gcm
       run: |
-        build-circuit circuits/aes-gcm-fold/aes-gcm-fold.circom aes-fold.bin -l node_modules
+        build-circuit circuits/aes-gcm-fold/aes-gctr-fold.circom aes-fold.bin -l node_modules
         
diff --git a/circuits/aes-gcm-fold/aes-gctr-fold.circom → circuits/aes-gctr-fold/aes-gctr-fold.circom b/circuits/aes-gcm-fold/aes-gctr-fold.circom → circuits/aes-gctr-fold/aes-gctr-fold.circom