nimbus-eth2/ncli/ncli_transition.nim

import
  confutils, chronicles,
  ../beacon_chain/spec/[crypto, datatypes],
  ../beacon_chain/[extras, state_transition, ssz]

cli do(pre: string, blck: string, post: string, verifyStateRoot = false):
  let
    stateX = SSZ.loadFile(pre, BeaconStateRef)
    blckX = SSZ.loadFile(blck, SignedBeaconBlock)
    flags = if verifyStateRoot: {skipStateRootValidation} else: {}

  var stateY = HashedBeaconState(data: stateX[], root: hash_tree_root(stateX[]))
  if not state_transition(stateY, blckX, flags, noRollback):
    error "State transition failed"
  else:
    SSZ.saveFile(post, stateY.data)
ncli - command line tools for working with .ssz files 2019-09-09 14:06:29 -05:00			`import`
			`confutils, chronicles,`
minimize imports, specially for spec - cuts 2/3 of ncli build time (#500) * minimize imports, specially for spec - cuts 2/3 of ncli build time * ptr_arith->ptrops 2019-10-25 12:59:56 +02:00			`../beacon_chain/spec/[crypto, datatypes],`
ncli - command line tools for working with .ssz files 2019-09-09 14:06:29 -05:00			`../beacon_chain/[extras, state_transition, ssz]`

			`cli do(pre: string, blck: string, post: string, verifyStateRoot = false):`
			`let`
Introduce BeaconNodeRef and use it in all the right places 2020-04-23 21:58:54 +03:00			`stateX = SSZ.loadFile(pre, BeaconStateRef)`
SignedBeaconBlock in state_transition (#773) * using SignedBeaconBlock in state_transition 2020-02-29 12:15:44 -03:00			`blckX = SSZ.loadFile(blck, SignedBeaconBlock)`
[WIP] Fake bls at runtime (#735) * Initial implementation of runtime bls skipping. Add libnfuzz skipBLSValidation handling, check that it propagates. * Rename skipBLSValidation -> skipBlsValidation, start skipStateRootValidation * Replace skipValidation flags with more granular flags. Also added skipBlockParentRootValidation flag Mainly replaced with skipBlsValidation but also StateRoot or BlockParentRootValidation flags where appropriate. * Adjust interop test to pass when skipping merkle validation. * Stop skipping validation for mainchain_monitor. * Remove comment. * Also skipMerkleValidation for test_beacon_chain_db. 2020-03-05 13:52:10 +01:00			`flags = if verifyStateRoot: {skipStateRootValidation} else: {}`
ncli - command line tools for working with .ssz files 2019-09-09 14:06:29 -05:00
avoid memory allocations and copies when loading states (#942) * rolls back some of the ref changes * adds utility to calculate stack sizes * works around bugs in nim exception handling and rvo 2020-04-28 10:08:32 +02:00			`var stateY = HashedBeaconState(data: stateX[], root: hash_tree_root(stateX[]))`
avoid state copy in state transition (#930) In BlockPool, we keep the head state around, so it's trivial to restore the temporary state there and keep going as if nothing happened. This solves 3 problems: * stack space - the state copy on mainnet is huge * GC scanning - using stack space for state slows down the GC significantly * reckless copying - the copy itself takes a long time In state_sim, we'll do the same and allocate on heap - this helps a little with GC - without it, the collection of the temporary strings created with `toHex` while printing the json dominates the trace. 2020-04-26 21:13:33 +02:00			`if not state_transition(stateY, blckX, flags, noRollback):`
ncli - command line tools for working with .ssz files 2019-09-09 14:06:29 -05:00			`error "State transition failed"`
avoid state copy in state transition (#930) In BlockPool, we keep the head state around, so it's trivial to restore the temporary state there and keep going as if nothing happened. This solves 3 problems: * stack space - the state copy on mainnet is huge * GC scanning - using stack space for state slows down the GC significantly * reckless copying - the copy itself takes a long time In state_sim, we'll do the same and allocate on heap - this helps a little with GC - without it, the collection of the temporary strings created with `toHex` while printing the json dominates the trace. 2020-04-26 21:13:33 +02:00			`else:`
			`SSZ.saveFile(post, stateY.data)`