1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00

Removed camelcase from program name -> zokrates

This commit is contained in:
Jacob Eberhardt 2017-10-23 17:57:16 +02:00
parent 59f685a961
commit cd012b1d88
2 changed files with 7 additions and 7 deletions

View file

@ -1,5 +1,5 @@
[package]
name = "ZoKrates"
name = "zokrates"
version = "0.1.0"
authors = ["Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>", "Dennis Kuhnert <mail@kyroy.com>"]
repository = "https://github.com/Kyroy/VerifiableStatementCompiler.git"

View file

@ -1,6 +1,6 @@
# ZoKrates
# zokrates
## Using ZoKrates
## Using zokrates
Set the libsnark library path in `LD_LIBRARY_PATH`
```
@ -18,8 +18,8 @@ def add(a, b, c):
```
with `add(1, 2, 3)`, call
```
./ZoKrates compile -i add.code_path
./ZoKrates shortcut -a "1 2 3"
./zokrates compile -i add.code_path
./zokrates shortcut -a 1 2 3
```
## Building
@ -32,8 +32,8 @@ Example usage:
```
docker build -t zokrates .
docker run -ti zokrates /bin/bash
cd ZoKrates
./target/debug/ZoKrates compile -i examples/add.code
cd zokrates
./target/debug/zokrates compile -i examples/add.code
```
### With libsnark