cryptohard
dot
dicectf_2026_quals
Task: DV-SNARG for 64-bit adder circuit, prove 20 consecutive WRONG answers to get flag. Solution: exploit DV-SNARG soundness break with verifier oracle — learn secret v values via safe oracle at streak=0, forge proofs via CRS entry algebraic cancellation.
$ ls tags/ techniques/
dv_snarg_soundness_breakverifier_oracle_attackcrs_entry_cancellationsafe_oracle_constructiontensor_product_extraction
🔒
Permission denied (requires tier.pro)
Sign in to access full writeups
Create a free account with GitHub to get started.
$ssh [email protected]