Theorem 7.5 — an average-case secure sketch for edit distance with loss $\lceil n/c\rceil\log_2(n-c+1) + (2c-1)t\lceil\log(F^c+1)\rceil$

Initializing...

Theorem 7.5 — an average-case secure sketch for edit distance with loss $\lceil n/c\rceil\log_2(n-c+1) + (2c-1)t\lceil\log(F^c+1)\rceil$ · Prove2Me