darkfi

github/darkfi

Fork 0

mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00

Files

History

plato 3746359939 added comment on jubjub add macro

2021-02-21 18:07:22 +01:00

racket

added lisp files

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

bits.lisp

update zklisp with cs methods

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

core.rs

prove needs scoping to execute more than one expression

2021-02-21 16:00:35 +01:00

env.rs

added lisp files

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

inverse.lisp

prove without refactor

2021-02-11 21:50:56 +01:00

jubjub-add-macro.lisp

added comment on jubjub add macro

2021-02-21 18:07:22 +01:00

jubjub-add.lisp

fixing jubjub

2021-02-12 20:10:00 +01:00

jubjub-mul.lisp

added comment on jubjub-mul about variable names colision

2021-02-20 13:27:18 +01:00

lisp.rs

added macros.lisp sample

2021-02-21 12:07:57 +01:00

macros.lisp

prove needs scoping to execute more than one expression

2021-02-21 16:00:35 +01:00

new-cs.lisp

prove without refactor

2021-02-11 21:50:56 +01:00

new.lisp

added public and private symbols

2020-11-09 22:02:58 +01: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

Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp

2020-10-28 01:29:16 +01:00

run.sh

added macros.lisp sample

2021-02-21 12:07:57 +01:00

TODO.md

added public and private symbols

2020-11-09 22:02:58 +01:00

types.rs

brute force merge env and now it work

2021-02-20 12:55:13 +01:00

README.md

zklisp

This is a DSL for ZKVMCircuit from sapvi language.

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

run

cargo run --bin lisp load new.lisp