Commit Graph

2801 Commits

Author SHA1 Message Date
terence tsao 1e74cf5f0d
Update sync_protocol.md 2019-09-05 06:55:40 -07:00
terence tsao f1065faf9c
Update sync_protocol.md 2019-09-05 06:54:20 -07:00
terence tsao dbcce17769
Update sync_protocol.md 2019-09-04 09:00:59 -07:00
Justin c01d036ed1
Update 1_shard-data-chains.md 2019-09-03 22:49:33 +01:00
Justin 2b60c9cf90
Update 1_shard-data-chains.md 2019-09-03 22:45:13 +01:00
Justin 91e73c1f57
Deduplicate indices 2019-09-03 22:15:52 +01:00
Justin 2eda4c5dbc
Update 1_shard-data-chains.md 2019-09-03 22:09:47 +01:00
Justin 40dc062279
Update 1_shard-data-chains.md 2019-09-03 22:04:59 +01:00
Justin 225c740107
Apply suggestions from code review
Co-Authored-By: terence tsao <terence@prysmaticlabs.com>
2019-09-03 21:56:12 +01:00
Justin a0bbc940ce
Update 1_shard-data-chains.md 2019-09-03 19:27:30 +01:00
Justin c4297ae330
Update 1_shard-data-chains.md 2019-09-03 19:17:19 +01:00
Justin d1fe8f16fd
Deposit contract fixes (#1362) 2019-09-03 18:59:18 +01:00
Justin 3ef24870d6
Changes as per today's discussion
1) Make `ShardBlock` and `ShardState` flat containers (as opposed to plain containers)
2) Make Gwei deltas `int64` (as opposed `uint64`)
3) Make `older_committee_deltas` a `Vector` (as opposed to `List`)
4) Apply size fee on block body only (as opposed to block header and body)
5) Enshrine minimum "extra" block body fee for proposers (reusing `PROPOSER_REWARD_QUOTIENT`)
6) Fix bugs reported by @terencechain and @hwwhww 👍
2019-09-03 18:55:46 +01:00
vbuterin 834edc2dbc
Removed shard from genesis shard block 2019-09-03 13:44:50 +01:00
Danny Ryan 14496978f1
Merge pull request #1323 from ethereum/vbuterin-patch-13
Starting on phase 1 misc beacon changes
2019-09-02 10:02:51 -06:00
terence tsao 84965be251
Update merkle_proofs.md 2019-09-01 11:07:44 -07:00
terence tsao 9a712ead68
Update merkle_proofs.md 2019-09-01 10:24:46 -07:00
Justin 66c3c391d4
Update 1_shard-data-chains.md 2019-08-29 16:36:13 +01:00
Justin d7e628e08f
WIP! 2019-08-28 22:57:24 +01:00
dankrad 5f1cdc4acc
Merge pull request #1384 from ethereum/length-check-fix
Remove bug bitlist length checks in process_attestation
2019-08-28 13:44:44 +01:00
Justin Drake c8c47e3986 Abstract away compute_proposer_index for phase 1 2019-08-28 10:22:34 +01:00
Danny Ryan 78a0e15e9c
explicitly cast to bool 2019-08-27 10:36:25 -06:00
Danny Ryan d0b4dc2b01
remove bad length checks from process attestation; ensure committee count and committee size not equal 2019-08-27 09:16:02 -06:00
Justin 334d6c6bc7
Revamp 1_shard-data-chains.md
WIP!

* Significant simplifications
* A few bug fixes
* Lots of cleanups and reorganising (making it consistent with `0_beacon-chain.md`)
* Likely a few bugs introduced
2019-08-27 14:58:28 +01:00
Hsiao-Wei Wang 979fa38ae8
fix linter error 2019-08-27 20:10:55 +08:00
Hsiao-Wei Wang 17702e6d88
Shard slot -> slot for PHASE_1_FORK_SLOT part2 2019-08-27 20:10:39 +08:00
vbuterin 0f2e814c63
Shard slot -> slot for PHASE_1_FORK_SLOT 2019-08-27 13:19:04 +02:00
vbuterin 0b38ff0fe2
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-27 13:17:38 +02:00
vbuterin ab4820ced6
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: John Adler <adlerjohn@users.noreply.github.com>
2019-08-27 13:13:47 +02:00
Dankrad Feist 4768ec89f6
SSZ clarifications on deserialization 2019-08-27 11:45:17 +01:00
terence tsao 79e34a00e8
Update sync_protocol.md 2019-08-26 17:37:18 -07:00
Danny Ryan ffdc36920e
lint 2019-08-26 08:55:50 -06:00
Danny Ryan 2abb81d4e9
Merge pull request #1366 from ethereum/remove-val-api
remove Val API and add links to outside spec/standards repos
2019-08-26 08:41:56 -06:00
vbuterin f1caa85aaf
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: John Adler <adlerjohn@users.noreply.github.com>
2019-08-26 10:09:43 +02:00
vbuterin 9b3cb306e3
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: John Adler <adlerjohn@users.noreply.github.com>
2019-08-26 10:09:13 +02:00
Hsiao-Wei Wang 01af8e6297
Use `get_previous_power_of_two` from merkle proofs spec 2019-08-25 17:19:19 +08:00
Hsiao-Wei Wang 178dd23314
`MINOR_REWARD_QUOTIENT` for rewarding the proposer for including shard receipt proof
Co-Authored-By: vbuterin <v@buterin.com>
2019-08-24 20:26:35 +08:00
vbuterin a509c68c30
Update specs/core/0_beacon-chain.md 2019-08-24 13:55:35 +02:00
vbuterin 7175ac5593
Update specs/core/0_beacon-chain.md 2019-08-24 13:55:18 +02:00
vbuterin fb59160e6a
Persistent -> period, process_shard_receipt: add _proofs 2019-08-24 13:54:48 +02:00
vbuterin b6d854de09
Fix ToC 2019-08-24 13:50:57 +02:00
Danny Ryan 6923bdc46a
remove Optional None from get_generalized_index. instead throw 2019-08-23 14:49:19 -06:00
Danny Ryan a4f86a8b24
Merge branch 'dev' into vbuterin-patch-13 2019-08-23 14:18:00 -06:00
Hsiao-Wei Wang f8d9b0d283
Merge branch 'dev' into roots-removal 2019-08-24 03:10:02 +08:00
Hsiao-Wei Wang 17043891ff
Fix some mypy errors 2019-08-24 03:03:00 +08:00
Hsiao-Wei Wang bcdbf7dfc7
Fix some flake8 errors 2019-08-24 02:44:22 +08:00
Hsiao-Wei Wang 72b9781051
Merge branch 'dev' into vbuterin-patch-13 2019-08-24 02:37:19 +08:00
Danny Ryan 56954ec508
fix adding fields to phase 1 ssz objects 2019-08-23 12:16:57 -06:00
Danny Ryan 1392c931d0
add GeneralizedIndex to custom types 2019-08-23 12:00:01 -06:00
Danny Ryan 3d97160098
Update specs/networking/p2p-interface.md
Co-Authored-By: Diederik Loerakker <proto@protolambda.com>
2019-08-23 18:33:18 +02:00
Danny Ryan 0547d0ce67
add note on local aggregation for interop 2019-08-23 18:33:18 +02:00
Danny Ryan f62aedec31
minor formatting 2019-08-23 18:33:18 +02:00
Age Manning 194f292348
Minor corrections and clarifications to the network specification 2019-08-23 18:33:18 +02:00
JSON dee70df3a9
doc standardization for networking spec (#1338)
* Update p2p-interface.md

* Update p2p-interface.md

* Update p2p-interface.md

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-23 18:33:17 +02:00
Jacek Sieka 94d2368970
discuss length-prefixing pro/con, consider for removal, add link 2019-08-23 18:33:17 +02:00
Jacek Sieka f0ce20b922
cleanups 2019-08-23 18:33:17 +02:00
Jacek Sieka 26ea675f9c
Updates
* constants -> configurations
* constant name updates
* initial validation requirement for attestations
* allow aggregated attestations to be published
* move discv5 down a bit
* additional rationale
2019-08-23 18:33:17 +02:00
Raúl Kripalani d0e1f29beb
apply more editorial suggestions.
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-23 18:33:17 +02:00
Raúl Kripalani e147684907
apply editorial suggestions.
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
Co-Authored-By: Preston Van Loon <preston@prysmaticlabs.com>
2019-08-23 18:33:17 +02:00
Raúl Kripalani 26d342e918
fmt. 2019-08-23 18:33:17 +02:00
Raúl Kripalani e81629df63
document doctoc command for posterity. 2019-08-23 18:33:16 +02:00
Raúl Kripalani aa2859299f
gossip domain: clarify why we use plaintext topic names. 2019-08-23 18:33:16 +02:00
Raúl Kripalani 4bae9b4bd1
add table of contents; amend heading level. 2019-08-23 18:33:16 +02:00
Jacek Sieka a8ac4d6c6f
Update libp2p networking spec 2019-08-23 18:33:16 +02:00
Matt Garnett 520c872d21
Improve readability of SSZ type defaults 2019-08-23 18:31:10 +02:00
Diederik Loerakker 5d2f34f882
Merge pull request #1363 from ethereum/executable_merkle_proofs
Executable Merkle proofs
2019-08-23 14:50:12 +02:00
Hsiao-Wei Wang bbaa238742
Fix the definition of `GeneralizedIndex` 2019-08-23 20:20:35 +08:00
vbuterin c1f2e92ad1
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: Danny Ryan <dannyjryan@gmail.com>
2019-08-23 12:33:25 +02:00
vbuterin 5fcfcac75e Updated light client sync for newer committees (#1316) 2019-08-20 14:33:29 +02:00
Hsiao-Wei Wang d6bbd9bfa1
Add `BaseBytes` to cover `Bytes` and `BytesN` 2019-08-20 19:23:31 +08:00
Hsiao-Wei Wang 6577f159c9
Merge branch 'dev' into executable_merkle_proofs 2019-08-20 19:13:12 +08:00
Hsiao-Wei Wang 663d43d07f
PR feedback, fix type hinting, add missing `Container.get_field_names()` method 2019-08-20 18:55:30 +08:00
Justin Drake df6e531d74 Improve beacon proposer selection logic 2019-08-20 11:37:27 +02:00
Martin Lundfall a843e9aeeb specs/ fix links 2019-08-19 13:47:09 +02:00
Martin Lundfall 35d89e2706 merkle_proofs, simple-serialize, test_gen/README: update ToC 2019-08-19 13:03:51 +02:00
Danny Ryan 83566afa1b
remove APIs and add links to outside spec/stnards repos 2019-08-16 13:35:23 -06:00
Hsiao-Wei Wang bb0b5b09cc
Use `SSZVariableName` instead of `str`, and fix some mypy errors 2019-08-15 19:02:21 +08:00
vbuterin e4a18f6fa4
Made persistent committee roots a vector 2019-08-15 12:51:11 +02:00
Hsiao-Wei Wang 2741a5f33d
Minor fixes 2019-08-15 18:36:48 +08:00
Hsiao-Wei Wang 0f52d460a5
Use the `get_previous_power_of_2` function in ethereum/eth2.0-specs#1323 2019-08-15 16:14:07 +08:00
Hsiao-Wei Wang d88a83d482
Fix most mypy errors 2019-08-15 16:01:53 +08:00
Hsiao-Wei Wang dc93391421
Make flake8 check pass 2019-08-15 15:30:01 +08:00
Diederik Loerakker f9d703c126
Merge pull request #1186 from ethereum/vbuterin-patch-3
Updates to SSZ Merkle proofs phase 0 doc
2019-08-14 23:49:54 +02:00
vbuterin 72103e9deb
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Diederik Loerakker <proto@protolambda.com>
2019-08-14 23:44:26 +02:00
vbuterin c7af2496ef
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Diederik Loerakker <proto@protolambda.com>
2019-08-14 23:44:19 +02:00
vbuterin 8255091e40
ShardReceipt -> ShardReceiptProof 2019-08-14 23:35:26 +02:00
vbuterin fd24308d19
Update specs/core/1_beacon-chain-misc.md 2019-08-14 23:32:10 +02:00
vbuterin d424863fc0
Update specs/core/1_beacon-chain-misc.md 2019-08-14 23:32:01 +02:00
vbuterin 49a008df60
Update specs/core/1_beacon-chain-misc.md 2019-08-14 23:31:55 +02:00
vbuterin 4f92e7fe30
Update specs/core/1_beacon-chain-misc.md 2019-08-14 23:31:48 +02:00
vbuterin 0cf454547b
Update specs/core/1_beacon-chain-misc.md 2019-08-14 23:27:25 +02:00
Danny Ryan 5d8c31cfb1
Update specs/simple-serialize.md 2019-08-14 11:07:03 -06:00
Justin 84558e0c4c
Add summaries and expansions to simple-serialize.md 2019-08-14 15:48:30 +02:00
Danny Ryan 931c51ce7a
Merge pull request #1350 from AgeManning/network-spec-corrections
Minor corrections and clarifications to the network specification
2019-08-13 07:46:27 -06:00
vbuterin f9849ca562
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-13 06:14:51 -04:00
vbuterin cb3e0f2146
Update specs/core/1_beacon-chain-misc.md
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-13 06:12:51 -04:00
Age Manning 8cf4544ef2
Merge latest dev 2019-08-13 12:41:34 +10:00
Danny Ryan c224af999e
MAX_PERSISTENT_COMMITTEE_SIZE -> TARGET_PERSISTENT_COMMITTEE_SIZE 2019-08-12 19:05:16 -06:00
Age Manning e23b37842e
Update specs/networking/p2p-interface.md
Co-Authored-By: Danny Ryan <dannyjryan@gmail.com>
2019-08-13 08:09:44 +10:00
Hsiao-Wei Wang d84c902bb1
Merge branch 'dev' into v082_backport 2019-08-12 01:47:24 +08:00
Hsiao-Wei Wang 8ac5ea20be
Merge pull request #1353 from mcdee/dev
Add link from DepositData reference to definition
2019-08-12 01:08:04 +08:00
dankrad b345dc0f5f Legendre custody construction (#1305)
* Stab at Legendre custody construction + some tests

* Fix some problems and fix function puller to remove phase0 only lines in phase1

* Pass the linter

* Add headings

* Fix domain for BLS stub

* Change Jacobi to Legendre

* n -> q to clarify notation

* Headings

* Another missing heading

* Custody subchunks via padding

* Fix max_reveal_lateness stuff

* Better names for reveal period functions

* Better parametrization of max_reveal_lateness computation and tests for custody reveal processing

* Fix linter

* Allow challenging for one period after the custody reveal, shorter periods for minimal tests

* Fix lint

* Fix linter error
2019-08-11 13:05:17 -04:00
Hsiao-Wei Wang 40fbcd3d59
Merge branch 'dev' into v082_backport 2019-08-12 00:58:20 +08:00
Hsiao-Wei Wang a0b8e9bbc7
Merge branch 'dev' into vbuterin-patch-13 2019-08-12 00:40:16 +08:00
Hsiao-Wei Wang 01d58eb1c6
Merge branch 'dev' into v082_backport 2019-08-12 00:18:25 +08:00
Hsiao-Wei Wang 4df372deb7
Merge branch 'dev' into vbuterin-patch-17 2019-08-11 23:45:18 +08:00
vbuterin 36a2283052
Shard receipts cannot penalize withdrawn validators 2019-08-11 23:18:48 +08:00
vbuterin 7132778a69
Added compact committee class 2019-08-11 23:18:48 +08:00
Danny Ryan 0fa4491c41
lint 2019-08-11 23:18:48 +08:00
Danny Ryan 6560bc42d2
Apply suggestions from code review
Co-Authored-By: Carl Beekhuizen <carl@ethereum.org>
2019-08-11 23:18:48 +08:00
Danny Ryan 2ae7323183
use codeblock syntax for misc beacon updates 2019-08-11 23:18:48 +08:00
Danny Ryan a273d9e09d
minor rename of beacon chain misc to conform to other files 2019-08-11 23:18:48 +08:00
vbuterin b9fddfe310
Made code work with #1186 2019-08-11 23:18:48 +08:00
vbuterin fab37e747a
Fixed position of Classes 2019-08-11 23:18:47 +08:00
vbuterin 5dad213457
Fixed up ToC 2019-08-11 23:18:47 +08:00
vbuterin 3f20aca65e
Added comments and ToC 2019-08-11 23:18:47 +08:00
vbuterin caadc0d234
Update 1_beacon_chain_misc.md 2019-08-11 23:18:47 +08:00
vbuterin fe9fe8a151
[WIP] add receipt processing to phase 1 beacon chain 2019-08-11 23:18:47 +08:00
vbuterin 3dc7430ae9
Starting on phase 1 misc beacon changes 2019-08-11 23:18:47 +08:00
Hsiao-Wei Wang 5290b62465
Fix + refactor `is_valid_beacon_attestation` and add basic test 2019-08-11 22:24:21 +08:00
Jim McDonald 0e7287eda5 Add link from DepositData reference to definition 2019-08-09 19:09:04 +01:00
JSON 5808ab3ce7 doc standardization for networking spec (#1338)
* Update p2p-interface.md

* Update p2p-interface.md

* Update p2p-interface.md

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>

* Update specs/networking/p2p-interface.md

Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-09 13:30:05 +08:00
Age Manning 2a2c9967a8
Minor corrections and clarifications to the network specification 2019-08-09 12:38:48 +10:00
Hsiao-Wei Wang 095cfe6633
Fix build_spec and typo 2019-08-07 19:29:24 +08:00
vbuterin cb92aa91dd
Include state root blocks in crosslink data in non-block slots
Also adds `total_bytes` to state. The goal is to facilitate easier fraud proofs, so that one needs to simply check two adjacent headers in a crosslink and their respective bodies to verify a fraud proof.
2019-08-05 14:37:38 -04:00
Ben Edgington 499e187382 Fix constants table
Tables need header rows in Markdown.
2019-08-05 12:19:32 +01:00
Jacek Sieka d09d56bec8
discuss length-prefixing pro/con, consider for removal, add link 2019-08-04 20:56:41 +02:00
Paul Hauner 32a43acfc1
Clarify length bit for Bitlist merklization 2019-08-04 12:10:32 -06:00
Jacek Sieka cf1d49a1de
cleanups 2019-08-03 09:27:49 +02:00
protolambda 63e2915e12
update SSZ static doc to reflect options in test conditions 2019-08-02 21:43:36 +02:00
Jacek Sieka 514ff5814f
Updates
* constants -> configurations
* constant name updates
* initial validation requirement for attestations
* allow aggregated attestations to be published
* move discv5 down a bit
* additional rationale
2019-08-02 21:12:40 +02:00
vbuterin 5237ac4954
Update specs/light_client/merkle_proofs.md 2019-08-02 09:57:32 -04:00
vbuterin 6138edc5be
log -> log2 2019-08-02 09:49:35 -04:00
vbuterin c8d128aa59
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Diederik Loerakker <proto@protolambda.com>
2019-08-02 09:46:59 -04:00
vbuterin c6cdec8217
Fixed get generalized indices 2019-08-02 09:45:26 -04:00
vbuterin 59307d1380
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Diederik Loerakker <proto@protolambda.com>
2019-08-02 09:43:42 -04:00
vbuterin 845daf5b1f
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Diederik Loerakker <proto@protolambda.com>
2019-08-02 09:43:24 -04:00
vbuterin 0a874528a8
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Danny Ryan <dannyjryan@gmail.com>
2019-08-02 09:43:03 -04:00
vbuterin ddd43ad99d
<= becomes < 2019-08-02 09:40:49 -04:00
vbuterin c29d85aafb
Update specs/core/1_shard-data-chains.md
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-02 09:40:26 -04:00
Raúl Kripalani f3c11852d7
apply more editorial suggestions.
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
2019-08-02 12:38:59 +01:00
Raúl Kripalani 5248bb6a15
apply editorial suggestions.
Co-Authored-By: Hsiao-Wei Wang <hwwang156@gmail.com>
Co-Authored-By: Preston Van Loon <preston@prysmaticlabs.com>
2019-08-02 12:35:50 +01:00
vbuterin 2e7c8fa529
Update specs/light_client/merkle_proofs.md 2019-08-01 18:12:35 -04:00
vbuterin e93e7a3f1a
Update specs/light_client/merkle_proofs.md 2019-08-01 18:12:27 -04:00
vbuterin 44bd00164e
Update specs/light_client/merkle_proofs.md
Co-Authored-By: Danny Ryan <dannyjryan@gmail.com>
2019-08-01 18:11:45 -04:00
vbuterin 1b852adef1
Simplified merkle multiproofs 2019-08-01 18:11:30 -04:00
protolambda 8563dbf5c0
make ssz_static output roots to roots.yaml instead of meta 2019-08-01 22:03:40 +02:00
Justin Drake 26641aa699 Remove light client infrastructure (better stuff to be added in phase 1) 2019-08-01 17:03:23 +01:00
Raúl Kripalani 02bb92e714 fmt. 2019-08-01 16:57:04 +01:00
vbuterin 725bdf8223
Update specs/light_client/merkle_proofs.md 2019-08-01 11:40:40 -04:00