cryptoProhard

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_snargdesignated_verifierdot_product_proofp256elliptic_curvepedersen_commitmentcircuitaddercrs
dv_snarg_soundness_breakverifier_oracle_attackcrs_entry_cancellationsafe_oracle_constructiontensor_product_extraction
🔒

Permission denied (requires tier.pro)

Sign in to access full writeups

Sign in with GitHub to continue. No email required.

$sign in

$ grep --similar

Similar writeups