Update org

.github/workflows/nix-ci.yml

@@ -17,7 +17,7 @@ jobs:
     - name: Install arkworks-bridge
       uses: jaxxstorm/[email protected]
       with:
-        repo: torsion-labs/arkworks-bridge
+        repo: l-adic/arkworks-bridge
         tag: v1.0.0-rc2
 
     - uses: cachix/install-nix-action@v24

README.md

@@ -1,6 +1,6 @@
 # Snårkl 
 
-![CI](https://github.com/torsion-labs/snarkl/actions/workflows/nix-ci.yml/badge.svg)
+![CI](https://github.com/l-adic/snarkl/actions/workflows/nix-ci.yml/badge.svg)
 
 
 Snårkl ("Snorkel") is a high-level language and compiler for verifiable computing. It is capable of compiling an embedded DSL to a system of arithmetic constraints and solving for a satisfying witness. These programs can be embedded in larger Haskell programs or used as standalone applications via the CLI bindings.
@@ -12,9 +12,9 @@ There is a [tutorial](./tutorial/README.md) which is written in literate Haskell
 ## zk-SNARKs
 Snarkl can be used either for simple verified computation or for zk-SNARK production. However, Snarkl is not capable of generating zk-SNARKs by itself -- it is only able to compile programs to a system of arithmetic constraints (e.g. an R1CS), or to solve for a witness for these constraints. It is possible to include both public and private input data to these computations, but Snarkl cannot e.g. create a trusted setup, construct proofs, or verify them.
 
-For this reason we have written an integration with the [arkworks](https://github.com/arkworks-rs/) framework called [arkworks-bridge](https://github.com/torsion-labs/arkworks-bridge). Snarkl can serialize it's constraint and witness values to a [JSON lines](https://jsonlines.org/) format which is compatible with `arkworks-bridge`. You can use `arkworks-bridge` as a CLI program or embed it in a larger rust program.
+For this reason we have written an integration with the [arkworks](https://github.com/arkworks-rs/) framework called [arkworks-bridge](https://github.com/l-adic/arkworks-bridge). Snarkl can serialize it's constraint and witness values to a [JSON lines](https://jsonlines.org/) format which is compatible with `arkworks-bridge`. You can use `arkworks-bridge` as a CLI program or embed it in a larger rust program.
 
-We provide an [example application](https://github.com/torsion-labs/purescript-zk) which uses `arkworks-bridge` to generate a verifying contract on Ethereum for your Snarkl programs. It also shows how to construct and submit proofs to this verifier.
+We provide an [example application](https://github.com/l-adic/purescript-zk) which uses `arkworks-bridge` to generate a verifying contract on Ethereum for your Snarkl programs. It also shows how to construct and submit proofs to this verifier.
 
 ## Attributions
 

tutorial/README.md

@@ -42,4 +42,4 @@ for `GaloisField` as this would require speciying the basis order.
 
 ### arkworks-bridge
 
-Snarkl is used to arithmetize programs, ultimately compiling programs to an r1cs and solve for a witness. It cannot do other necessary steps in generating zk snarks, such as creating a trusted setup, generating proofs, or verifying them. For these steps you can use [arkworks-bridge](https://github.com/torsion-labs/arkworks-bridge) which is designed to pick up where Snarkl leaves off.
+Snarkl is used to arithmetize programs, ultimately compiling programs to an r1cs and solve for a witness. It cannot do other necessary steps in generating zk snarks, such as creating a trusted setup, generating proofs, or verifying them. For these steps you can use [arkworks-bridge](https://github.com/l-adic/arkworks-bridge) which is designed to pick up where Snarkl leaves off.