Is there a hash function h(M + t1) = c1 that relates to h(M + t2) = c2 in a way that can be verified without knowing M?
139521
Validating that a hash is over a specific value for two hashes with additional (known but different) input
8674
Hash-based asymmetrical encryption (not digital signature) schemes?
140167
Proving $A+A'B=A+B$ without truth tables
8589
$\sqrt[b_1]{a_1}+\sqrt[b_2]{a_2}+\cdots+\sqrt[b_k]{a_k}$ not an integer
64779
A simple block cipher based on the SHA-256 hash function
114962
Is there a difference between PRF and a hash function?
56528
On the proof of existence and uniqueness of radix representation
41777
Hash functions to generate a one-time pad
65744
How can I Prove that H=G or K=G
154459
Constructing a HoTT proof term of 1≠0
132934
Does SHA-1 hash have quasi commutative property?
7221
How does a hash table work?
13136
Element chasing proof that $(A\setminus C)\setminus(B\setminus C) = (A\setminus B)\setminus C$
98404
Is there a simple hash function that one can compute without a computer?
70311
Trying to prove (A ∩ B) − C = (A − C) ∩ (B − C)
128785
How can uniformity of hash functions (e.g. SHA-256) be proved?
158249
Proof of correctness of a homomorphic ElGamal sum