update readme and github workflow for new org

.github/workflows/tests.yml

@@ -17,7 +17,7 @@ jobs:
     - name: Install arkworks-bridge
       uses: jaxxstorm/[email protected]
       with:
-        repo: martyall/arkworks-bridge
+        repo: torsion-labs/arkworks-bridge
         tag: v0.2.0
 
     - name: Run arkworks-bridge

README.md

@@ -1,8 +1,22 @@
+### Requirements
+
+You will need an [arkworks-bridge](https://github.com/torsion-labs/arkworks-bridge/releases) binary in your path in order to generate the verifying smart contract and proof.
+
+We use [cliquebait](https://github.com/f-o-a-m/cliquebait) to run the tests. You can use hardhat or foundry/anvil if that suits your needs.
+
+### Generate CRS and smart contract for R1CS
+
+```
+> arkworks-bridge create-trusted-setup --r1cs ./proof-data/prog-r1cs.jsonl --proving-key ./proof-data/prog-pk --verifying-key ./proof-data/prog-vk --ethereum
+> arkworks-bridge generate-contract --contract ./contracts/Verifier.sol --verifying-key ./proof-data/prog-vk --inputs ./proof-data/prog-inputs.jsonl
+```
+
 ### Quickstart
 
 ```
 > npm i
 > npm run chanterelle-build
+> arkworks-bridge create-proof --proof ./proof-data/prog-proof --proving-key ./proof-data/prog-pk --r1cs ./proof-data/prog-r1cs.jsonl --witness ./proof-data/prog-witness.jsonl --ethereum
 > docker run --rm -it -p 8545:8545 -d foamspace/cliquebait:latest
 > npm run deploy
-```
+```