feat(consensus): add proof check logic for sync and consensus (#224)

* feat : add proof check for sync and consensus

feat : add get_proof_from_remote in sync adapter

feet : add RPC_SYNC_PULL_PROOF and RPC_RESP_SYNC_PULL_PROOF and registered

chore : add .gitignore, now free-space/ is for personal use

chore : add error log to check the proof height error

chore : adapt to 0x prefix

test : add sync test cases

chore : remove unusable and redundant functions and variables

chore : add verify_proof_signature and verity_proof_weight for consensus adapter

fix : sync now get txs from remote's storage

fix : consensus now will get tx from remote's mempool

fix : now consensus adapter has verify_txs() and sync adapter has verify_txs_sync()

chore : change current_height to latest_committed_height in CurrentConsensusStatus to make it clearer

fix : verifying certain proof, the auth_list is got from metadata of **previous** height

Author: LycrusHamster

Diff for: .gitignore

@@ -30,3 +30,6 @@ logs/
 
 # cargo.lock
 Cargo.lock
+
+# free space, you can store anything you want here
+free-space/

Diff for: core/consensus/Cargo.toml

@@ -24,7 +24,7 @@ prost = "0.6"
 rlp = "0.4"
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
-tokio = { version = "0.2", features = ["macros", "rt-core"] }
+tokio = { version = "0.2", features = ["macros", "sync", "rt-core"] }
 
 common-crypto = { path = "../../common/crypto" }
 common-logger = { path = "../../common/logger" }
@@ -37,6 +37,7 @@ protocol = { path = "../../protocol", package = "muta-protocol" }
 [dev-dependencies]
 num-traits = "0.2"
 rand = "0.7"
+bit-vec = "0.6"
 
 [features]
 default = []