mirror of https://github.com/embarklabs/embark.git
48 lines
985 B
Markdown
48 lines
985 B
Markdown
|
Embark-Snark
|
||
|
|
======
|
||
|
|
|
||
|
|
Plugin for [Embark](https://github.com/embark-framework/embark) to compile circom circuits and generate solidity proof
|
||
|
|
|
||
|
|
Installation
|
||
|
|
======
|
||
|
|
|
||
|
|
In your embark dapp directory:
|
||
|
|
```npm install embark-snark --save```
|
||
|
|
|
||
|
|
then add embark-snark to the plugins section in ```embark.json```:
|
||
|
|
|
||
|
|
```Json
|
||
|
|
"plugins": {
|
||
|
|
"embark-snark": {
|
||
|
|
"circuits": ["app/circuits/**"],
|
||
|
|
"inputs": {
|
||
|
|
"multiplier": {
|
||
|
|
"a": 3,
|
||
|
|
"b": 11
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
```
|
||
|
|
|
||
|
|
You can defined where your circuits will be and what are the inputs.
|
||
|
|
|
||
|
|
Now you can create your first circuits, for example, ```app/circuits/multiplier.circom```:
|
||
|
|
|
||
|
|
```
|
||
|
|
template Multiplier() {
|
||
|
|
signal private input a;
|
||
|
|
signal private input b;
|
||
|
|
signal output c; c <== a*b;
|
||
|
|
}
|
||
|
|
|
||
|
|
component main = Multiplier();
|
||
|
|
```
|
||
|
|
|
||
|
|
Embark will now compile the circuits and generate a solidity contracts to verify the proof as well as deploy it.
|
||
|
|
|
||
|
|
Requirements
|
||
|
|
======
|
||
|
|
|
||
|
|
- Embark 5.0.0-alpha.0 or later
|