$ cat writeup.md…
$ cat writeup.md…
cryptohack
Task: CryptoHack ZKP series of Schnorr-style sigma protocols (intro/special-soundness/SHVZK/NIZK/too-honest) plus a BN254 pairing-based bit oracle. Solution: honest Schnorr proof, special-soundness witness extraction from commitment reuse, HVZK simulator forgery, Fiat-Shamir NIZK, integer-unreduced-response bit-alignment leak via e=2^768, and bilinearity bit test e(yG,b*xG)=e(yG,xG)^b.
Permission denied (requires tier.pro)
Sign in with GitHub, Discord, or Google to continue. No email required.
$sign in$ grep --similar