3 ms·
Perhaps you missed it, in Section 5 I've mentioned that the hash function SHA256 behaves as an ideal hash function, an assumption in cryptography called Random
by farazhaider 8y ago
Perhaps you missed it, in Section 5 I've mentioned that the hash function SHA256 behaves as an ideal hash function, an assumption in cryptography called Random Oracle Model.
By virtue of this model, the proofs for Structure, Space and Max-Proof of SMT are implied.
I'm also working on an implementation for the concepts mentioned in the paper so the proofs can also be verified emperically.
- joker3 8y agoIt's not the reader's job to fill in implied proofs. It's your job as the author to give them enough information to check your argument. In some cases "this follows from results A, B, C" is sufficient, but it's often not.