For now for simplicity, we just get nearest dependent value from memorizer which we not sure if it's verified during the program. But also at the same time we just want to verify minimal time of value that used as possible. e.g adding header verification logic on sub child's verification doesn't make sense.
so what we need to do is we perhaps track parent dependency for soundness and at the last step we just verifies to ensure assumption that we took above is indeed correct.
For soundness, there are some dependencies like this :
For now for simplicity, we just get nearest dependent value from memorizer which we not sure if it's verified during the program. But also at the same time we just want to verify minimal time of value that used as possible. e.g adding header verification logic on sub child's verification doesn't make sense.
so what we need to do is we perhaps track parent dependency for soundness and at the last step we just verifies to ensure assumption that we took above is indeed correct.