← all publishers

5Donghwan

@5donghwan source repo

Report this profile Claim this profile

• 1 skill
• 0 followers
• 1 day ago last updated

1. ▌
   Proof Writer Crypto · 5donghwan bundle

   Write and audit cryptographic protocol proofs and theorem drafts. Use when checking soundness, knowledge soundness, zero-knowledge, Fiat-Shamir security, extractor or simulator design, hidden model assumptions, reduction structure, bad-event bookkeeping, or theorem/proof overclaim.
   0 installs