feat: micro-chain simulator

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

feat: micro-chain simulator #303

Closed arthurpaulino closed 1 month ago

arthurpaulino commented 2 months ago

Implement the following meta commands:

micro-chain-serve to start a chain server
micro-chain-get for a client to get the current server state
micro-chain-transition for a client to send a chain proof to the server

This is a minimal implementation for a demo and doesn't assume too much from the actual final micro-chain system, on which we will have more info later.