darkrenaissance/darkfi: Anonymous. Uncensored. Sovereign. https://dark.fi @ 40d71df4dd581d4e66d7b66ec2c0428aeec61c14

parazyd 340631df2d Code linting.		преди 5 години
..
examples	898beb4a68 mint contract time fix	преди 5 години
racket	fea2b6c313 added lisp files	преди 5 години
README.md	340631df2d Code linting.	преди 5 години
TODO.md	340631df2d Code linting.	преди 5 години
core.rs	40e79b2c1d clear all warning messages	преди 5 години
env.rs	d9aab92fe2 fix linear combination zero on enforce field	преди 5 години
lisp.rs	40e79b2c1d clear all warning messages	преди 5 години
printer.rs	f72b5ea131 enforce parsing done	преди 5 години
reader.rs	fea2b6c313 added lisp files	преди 5 години
run.sh	9fe4d88e60 rangeproof and evaluation of enforce field when it's one symbol only	преди 5 години
types.rs	40e79b2c1d clear all warning messages	преди 5 години

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.

cargo run --bin lisp load new.lisp