Skip to content

Commit b421e1f

Browse files
Fixing links
1 parent 04d914b commit b421e1f

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

blog/introduction.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ From the high-level point of view, the concept defines:
1919

2020
<center>
2121

22-
![alt zk-snark concept!](https://i.imgur.com/8H5rSW2.png "Concept diagram")
22+
![alt zk-snark concept!](https://github.com/bright/zk-snarks-with-substrate/blob/M1/blog/img/concept_diagram.png "Concept diagram")
2323

2424
</center>
2525

@@ -47,7 +47,7 @@ Now together with Alice we will try to explain the process of converting the equ
4747
* R1CS (*Rank-1 Constraint System*)
4848
* QAP (*Quadratic Arithmetic Program*)
4949

50-
We are going to describe them in the next part of this article. Alice is going to use two external tools [Cricom](https://docs.circom.io/getting-started/installation/) and [SnarkJS](https://github.com/iden3/snarkjs). Circom is a compiler written in Rust for creating circuits. SnarkJS is a npm package, which implements generation and validation of the zk-SNAKRs for the artifacts produced by Circom. For the installation process, please check our [documentation](https://github.com/bright/zk-snarks-with-substrate/blob/main/circom/README.md) in the repository.
50+
We are going to describe them in the next part of this article. Alice is going to use two external tools [Cricom](https://docs.circom.io/getting-started/installation/) and [SnarkJS](https://github.com/iden3/snarkjs). Circom is a compiler written in Rust for creating circuits. SnarkJS is a npm package, which implements generation and validation of the zk-SNAKRs for the artifacts produced by Circom. For the installation process, please check our [documentation](https://github.com/bright/zk-snarks-with-substrate/blob/M1/circom/README.md) in the repository.
5151

5252

5353
## Computation statement
@@ -148,7 +148,7 @@ $$a_{i}\cdot s * b_{i}\cdot s - c_{i}\cdot s = 3*3 -9 = 0$$
148148

149149
</center>
150150

151-
As you can see the computations are fine, so R1CS for circuit one is ok. Alice will now use a *Cricom* for generating a R1CS. First she need to creates a *Cricom* template file (*[task.cricom](https://github.com/bright/zk-snarks-with-substrate/blob/main/circom/task.circom)*) which defines a constraints for our code:
151+
As you can see the computations are fine, so R1CS for circuit one is ok. Alice will now use a *Cricom* for generating a R1CS. First she need to creates a *Cricom* template file (*[task.cricom](https://github.com/bright/zk-snarks-with-substrate/blob/M1/circom/task.circom)*) which defines a constraints for our code:
152152

153153
```
154154
pragma circom 2.0.0;

pallets/zk-snarks/README.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -25,31 +25,31 @@ Then navigate to `Extrinsics` panel (*Developer -> Extrinsics*).
2525

2626
<center>
2727

28-
![Extrinsics](https:///https://github.com/bright/zk-snarks-with-substrate/pallets/zk-snarks/sample/panel.png)
28+
![Extrinsics](https://github.com/bright/zk-snarks-with-substrate/blob/M1/pallets/zk-snarks/sample/panel.png)
2929

3030
</center>
3131

3232
In the field `submit the following extrinsic`, please select `zkSnarks`. Fill in the fields as shown in the image below. Data for `vecKey` can be found under `pallets/zk-snarks/sample/vk.json`.
3333

3434
<center>
3535

36-
![Setup Verification](https:///https://github.com/bright/zk-snarks-with-substrate/pallets/zk-snarks/sample/vk.png)
36+
![Setup Verification](https://github.com/bright/zk-snarks-with-substrate/blob/M1/pallets/zk-snarks/sample/vk.png)
3737

3838
</center>
3939

4040
To upload data on blockchain, please press the `Submit Transaction`. Next, we will switch to the second extrinsic `verify` and we will upload a `pallets/zk-snarks/sample/proof.json` file.
4141

4242
<center>
4343

44-
![Verify](https:///https://github.com/bright/zk-snarks-with-substrate/pallets/zk-snarks/sample/proof.png)
44+
![Verify](https://github.com/bright/zk-snarks-with-substrate/blob/M1/pallets/zk-snarks/sample/proof.png)
4545

4646
</center>
4747

4848
Finally, we should get the result:
4949

5050
<center>
5151

52-
![Result](https:///https://github.com/bright/zk-snarks-with-substrate/pallets/zk-snarks/sample/result.png)
52+
![Result](https://github.com/bright/zk-snarks-with-substrate/blob/M1/pallets/zk-snarks/sample/result.png)
5353

5454
</center>
5555

0 commit comments

Comments
 (0)