-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Make the server completely passive. Instead of a meta command, it's now done via command line: `lurk microchain <addr>` * Clients can spawn new microchains and get an ID back * Clients can retrieve the genesis state by ID * Clients can fetch the current state by ID * Clients can provide proofs of state transition by ID * Clients can verify the entire microchain by ID Extra: * Fix old hole in the DAG by memoizing the DAG of the current env before calling `intern_env` * Simplify/optimize the implementation of the `def` meta command
- Loading branch information
1 parent
de4f6c7
commit 51bb5d7
Showing
12 changed files
with
706 additions
and
390 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.