4 ms·
This is interesting work, but the claims in section 5 need to be proved.
by joker3 8y ago
This is interesting work, but the claims in section 5 need to be proved.
- farazhaider 8y agoPerhaps 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.