zkvm: blockchain factored out + stubnet spec draft

accounts/Cargo.toml

@@ -27,6 +27,9 @@ path = "../musig"
 [dependencies.zkvm]
 path = "../zkvm"
 
+[dev-dependencies.blockchain]
+path = "../blockchain"
+
 [dev-dependencies]
 rand_chacha = "0.2"
 hex = "^0.3"

accounts/src/tests.rs

@@ -7,8 +7,7 @@ use curve25519_dalek::scalar::Scalar;
 use keytree::Xprv;
 use musig::{Multisignature, Signature};
 
-use zkvm::blockchain::{BlockHeader, BlockchainState, Mempool, MempoolItem};
-use zkvm::utreexo;
+use blockchain::{utreexo, BlockHeader, BlockchainState, Mempool, MempoolItem};
 use zkvm::{
     Anchor, ClearValue, Contract, ContractID, Program, Prover, TxEntry, TxHeader, VerifiedTx,
 };

blockchain/.gitignore

@@ -0,0 +1,3 @@
+/target
+**/*.rs.bk
+Cargo.lock

blockchain/Cargo.toml

@@ -0,0 +1,34 @@
+[package]
+name = "blockchain"
+version = "0.1.0"
+authors = ["Oleg Andreev <oleganza@gmail.com>"]
+edition = "2018"
+readme = "README.md"
+license = "Apache-2.0"
+repository = "https://github.com/stellar/slingshot"
+categories = ["cryptography", "blockchain"]
+keywords = ["cryptography", "blockchain", "zero-knowledge", "bulletproofs"]
+description = "A blockchain protocol for ZkVM transactions"
+
+[dependencies]
+failure = "0.1"
+byteorder = "1"
+merlin = "2"
+rand = "0.7"
+subtle = "2"
+curve25519-dalek = { version = "2", features = ["serde"] }
+serde = { version = "1.0", features=["derive"] }
+subtle-encoding = "0.3"
+hex = "^0.3"
+async-trait = "0.1.24"
+siphasher = "0.3.1"
+
+[dependencies.zkvm]
+path = "../zkvm"
+
+[dependencies.starsig]
+path = "../starsig"
+
+[dev-dependencies]
+criterion = "0.2"
+serde_json = "1.0"

blockchain/README.md

@@ -0,0 +1,6 @@
+# Slingshot Blockchain Protocol
+
+This is an implementation of a blockchain synchronization protocol for ZkVM transactions.
+
+This does not include p2p networking or persistent data storage.
+Only abstract interfaces are used to be implemented in a concrete application.

blockchain/rust-toolchain

@@ -0,0 +1 @@
+nightly-2019-11-02

zkvm/src/blockchain/block.rs → blockchain/src/block.rs

@@ -1,7 +1,7 @@
 use merlin::Transcript;
 use serde::{Deserialize, Serialize};
 
-use crate::{Hash, MerkleTree};
+use zkvm::{Hash, MerkleTree};
 
 /// Identifier of the block, computed as a hash of the `BlockHeader`.
 #[derive(Clone, Copy, PartialEq, Default, Debug)]

zkvm/src/blockchain/errors.rs → blockchain/src/errors.rs

@@ -1,5 +1,5 @@
-use crate::errors::VMError;
 use crate::utreexo::UtreexoError;
+use zkvm::VMError;
 
 /// Blockchain state machine error conditions.
 #[derive(Debug, Fail)]

zkvm/src/blockchain/mod.rs → blockchain/src/lib.rs

@@ -1,12 +1,25 @@
 //! Implementation of the blockchain state machine.
 
+#[macro_use]
+extern crate failure;
+extern crate serde;
+
+#[macro_use]
+extern crate zkvm;
+
+extern crate starsig;
+
 mod block;
 mod errors;
+mod protocol;
+mod shortid;
 mod state;
+pub mod utreexo;
 
 #[cfg(test)]
 mod tests;
 
 pub use self::block::*;
 pub use self::errors::*;
+pub use self::protocol::*;
 pub use self::state::*;