Tracking: block validation #428

teor2345 · 2020-06-04T09:47:42Z

Create a block validation service, which validates blocks and transactions. This service should perform semantic validation, before submitting blocks to the state for contextual validation.

Used by the block fetching and validation service in #140.

Parallel verification design rfc: Parallel Verification #763
Create a high-level wrapper service dispatching to either checkpoint or full validation Implement the chain verifier service #691
Create a checkpoint verifier Block checkpointing service. #429
Validate block headers Tracking: block header validation #477
Validate transactions Tracking: transaction validation #196
Re-enable any tests that have been disabled
Test validation on the full chain Tracking: Testing the Entire Chain #745

Add validation for: - blocks in the chain, and - transactions in the chain and mempool. Also: - Note that zebra-script may do some script validation. - Describe the zebra-consensus dependencies. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

We want to allow different state service implementations, and wrapped state services. So we make verify::init() take a state_service, and store that service in the BlockVerifier state_service field. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

This test doesn't work, because the futures are not used correctly. Part of ZcashFoundation#428.

Move block header hashing from zebra-consensus to zebra-state. Handle zebra-state AddBlock errors in zebra-consensus BlockVerifier. Add unit tests for BlockVerifier state error handling. Part of ZcashFoundation#428.

Add validation for: - blocks in the chain, and - transactions in the chain and mempool. Also: - Note that zebra-script may do some script validation. - Describe the zebra-consensus dependencies. Part of #428.

Part of ZcashFoundation#428.

We want to allow different state service implementations, and wrapped state services. So we make verify::init() take a state_service, and store that service in the BlockVerifier state_service field. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

This test doesn't work, because the futures are not used correctly. Part of ZcashFoundation#428.

Move block header hashing from zebra-consensus to zebra-state. Handle zebra-state AddBlock errors in zebra-consensus BlockVerifier. Add unit tests for BlockVerifier state error handling. Part of ZcashFoundation#428.

Move BlockVerifier and its tests from src/verify.rs to src/verify/block.rs. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

Cleanup the error handling in the block verifier tests. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

Move BlockVerifier and its tests from src/verify.rs to src/verify/block.rs. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

Cleanup the error handling in the block verifier tests. Part of ZcashFoundation#428.

Part of ZcashFoundation#428.

mpguerra · 2021-11-23T11:42:12Z

moved remaining issues out to other epics

teor2345 added Poll::Ready C-research Category: Engineering notes in support of design choices A-consensus Area: Consensus rule updates labels Jun 4, 2020

teor2345 self-assigned this Jun 4, 2020

dconnolly mentioned this issue Jun 4, 2020

Sync service/component to manage the fetching and validation of blocks. #140

Closed

2 tasks

This comment has been minimized.

Sign in to view

teor2345 added this to the Validate transactions. milestone Jun 4, 2020

dconnolly modified the milestones: Validate transactions., Sync and validate zcash mainnet Jun 4, 2020

This comment has been minimized.

Sign in to view

dconnolly mentioned this issue Jun 5, 2020

Tracking: transaction validation #196

Closed

27 tasks

This comment has been minimized.

Sign in to view

teor2345 mentioned this issue Jun 8, 2020

Block Verification Stubs #448

Merged

2 tasks

This comment has been minimized.

Sign in to view

teor2345 mentioned this issue Jun 8, 2020

Handle chain reorganisations #452

Closed

6 tasks

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 11, 2020

consensus: Add a block verification service

1204046

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 11, 2020

consensus: Add a transaction verification stub

dc6a6ad

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 11, 2020

consensus: Add a script verifier stub

b9449b3

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 11, 2020

consensus: Make BlockVerifier respond with the BlockHeaderHash

9e1f5f5

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 11, 2020

consensus: Add a simple block verify test

42e0985

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 11, 2020

consensus: Make future handling a little nicer

ab781cb

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 12, 2020

consensus: add a (failing) verify round-trip test

431bee4

This test doesn't work, because the futures are not used correctly. Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Add a block verification service

7787d92

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Add a transaction verification stub

a80e64a

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Add a script verifier stub

1da47a4

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Make BlockVerifier respond with the BlockHeaderHash

1497b17

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Add a simple block verify test

e69aea8

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Make future handling a little nicer

d6fd1ba

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: add a (failing) verify round-trip test

145b448

This test doesn't work, because the futures are not used correctly. Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Move BlockVerifier and tests into block.rs

23a3412

Move BlockVerifier and its tests from src/verify.rs to src/verify/block.rs. Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Use spandoc correctly

c498e82

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Refactor block test error handling

4500920

Cleanup the error handling in the block verifier tests. Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Only initialise tracing once for the block tests

e55d16d

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Move BlockVerifier and tests into block.rs

e2999fc

Move BlockVerifier and its tests from src/verify.rs to src/verify/block.rs. Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Use spandoc correctly

82de5b4

Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Refactor block test error handling

e2e47d1

Cleanup the error handling in the block verifier tests. Part of ZcashFoundation#428.

teor2345 added a commit to teor2345/zebra that referenced this issue Jun 24, 2020

consensus: Only initialise tracing once for the block tests

7bdf6f6

Part of ZcashFoundation#428.

dconnolly mentioned this issue Jul 9, 2020

Tracking: sync and validate mainnet #619

Closed

6 tasks

teor2345 mentioned this issue Jul 20, 2020

Implement Consensus Chain Handling Services #516

Closed

10 tasks

hdevalence changed the title ~~Block validation service.~~ Tracking: block validation Aug 11, 2020

hdevalence added C-tracking-issue Category: This is a tracking issue for other tasks and removed C-research Category: Engineering notes in support of design choices Poll::Ready labels Aug 11, 2020

mpguerra mentioned this issue Nov 17, 2020

Block Validation Epic #1318

Closed

mpguerra added the Epic Zenhub Label. Denotes a theme of work under which related issues will be grouped label Nov 17, 2020

mpguerra removed this from the Block Validation milestone Jan 5, 2021

mpguerra removed the E-med label Mar 23, 2021

mpguerra unassigned teor2345 Nov 23, 2021

mpguerra closed this as completed Nov 23, 2021

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Tracking: block validation #428

Tracking: block validation #428

teor2345 commented Jun 4, 2020 •

edited by mpguerra

Loading

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

mpguerra commented Nov 23, 2021

Tracking: block validation #428

Tracking: block validation #428

Comments

teor2345 commented Jun 4, 2020 • edited by mpguerra Loading

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

mpguerra commented Nov 23, 2021

teor2345 commented Jun 4, 2020 •

edited by mpguerra

Loading