From 2d8c7508dca9989efbd8066ee5c64d6717dbd06e Mon Sep 17 00:00:00 2001 From: martyall Date: Wed, 17 Jan 2024 18:53:39 -0800 Subject: [PATCH] update arkworks tag --- .github/workflows/nix-ci.yml | 2 +- app/Main.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml index 0177596..c58bd0c 100644 --- a/.github/workflows/nix-ci.yml +++ b/.github/workflows/nix-ci.yml @@ -18,7 +18,7 @@ jobs: uses: jaxxstorm/action-install-gh-release@v1.10.0 with: repo: torsion-labs/arkworks-bridge - tag: v0.2.0 + tag: v1.0.0-rc1 - uses: cachix/install-nix-action@v24 with: diff --git a/app/Main.hs b/app/Main.hs index 3a16d85..858d119 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -6,4 +6,4 @@ import Snarkl.Toplevel (Comp, Ty (TField)) import qualified Test.Snarkl.Unit.Programs as Programs main :: IO () -main = defaultMain "prog2" (Programs.prog2 10 :: Comp 'TField F_BN128) +main = defaultMain "prog" (Programs.prog2 10 :: Comp 'TField F_BN128)