darkfi

mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-10 23:27:56 -05:00

Files

parazyd 340631df2d Code linting.

For best and standard practices in Rust, acronyms should be CamelCase,
and capitalization should be avoided; i.e. ZKCircuit -> ZkCircuit

This commit replaces all such occurencies in the codebase.

2021-07-16 11:25:56 +02:00

examples

mint contract time fix

2021-04-08 21:08:59 +02:00

racket

added lisp files

2020-10-28 01:26:55 +01:00

core.rs

clear all warning messages

2021-06-09 07:45:50 +03:00

env.rs

fix linear combination zero on enforce field

2021-03-26 12:13:02 +01:00

lisp.rs

clear all warning messages

2021-06-09 07:45:50 +03:00

printer.rs

enforce parsing done

2021-01-31 14:23:33 +01:00

reader.rs

added lisp files

2020-10-28 01:26:55 +01:00

README.md

Code linting.

2021-07-16 11:25:56 +02:00

run.sh

rangeproof and evaluation of enforce field when it's one symbol only

2021-03-28 13:08:00 +02:00

TODO.md

Code linting.

2021-07-16 11:25:56 +02:00

types.rs

clear all warning messages

2021-06-09 07:45:50 +03:00

README.md

zklisp

This is a DSL for ZkVmCircuit from drk language.

It uses the mal (lisp) version of rust with some modifications to interact with bellman backend and also drk vm.

run

cargo run --bin lisp load new.lisp