1 block -> mongo transaction -> mongo address -> mongo assert -> mongo state -> mongo 2 checkBlock checkTransaction checkAssert checkAddress