argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://docs.argument.xyz
MIT License
46 stars 3 forks source link

Microbank #360

Closed porcuquine closed 2 weeks ago

porcuquine commented 3 weeks ago

This is the successor to the bank demo.

It does not attempt to be self-contained. Instead it exists partially to work out design patterns for microchain applications, and to help drive library development. It relies on user-level macros, which will eventually be replaced by language-level macros.

This iteration contains a command-driven interaction model. It uses commitment-based authentication with the following features:

NOTE: balances are not private, and neither is the bank's supply — so individuals could also audit the total supply on their own.

The song and dance separating pub-keys and accounts is partially present to drive development of tooling to help manage secrets and support data hygiene.