github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
f7877f0ea35bb543967c1ac49b01013a8afa0de4
darkfi/lisp
History
ada f7877f0ea3 fixing map and zkcons syntax
2020-11-04 19:38:07 +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
refactoring lisp zk eval
2020-10-30 20:49:53 +01:00
env.rs
added lisp files
2020-10-28 01:26:55 +01:00
jubjub.lisp
refactoring lisp code
2020-10-28 01:26:55 +01:00
lisp.rs
fixing map and zkcons syntax
2020-11-04 19:38:07 +01:00
new.lisp
fixing map and zkcons syntax
2020-11-04 19:38:07 +01:00
printer.rs
adding values to zkcircuit on lisp.rs
2020-10-30 00:43:01 +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
TODO.md
added Constraint Instructions and Variables from ZKVM to lisp env
2020-10-30 01:22:13 +01:00
types.rs
adding values to zkcircuit on lisp.rs
2020-10-30 00:43:01 +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
Reference in New Issue View Git Blame Copy Permalink