πŸ” 핡심 κ°œλ…:

κ°œμΈν‚€λ‘œ μ„œλͺ…ν•œ 값은, ν•΄λ‹Ή κ°œμΈν‚€μ— λŒ€μ‘ν•˜λŠ” κ³΅κ°œν‚€λ‘œ λˆ„κ΅¬λ‚˜ μ§„μœ„ μ—¬λΆ€λ₯Ό 확인할 수 μžˆλ‹€.


πŸ” λΉ„μœ μ  μ„€λͺ…

κ°œμΈν‚€ = 도μž₯
κ³΅κ°œν‚€ = 도μž₯의 무늬 νŒ¨ν„΄μ„ μ•„λŠ” μ‚¬λžŒ
μ„œλͺ… = 도μž₯ 찍힌 λ¬Έμ„œ
β†’ λˆ„κ΅¬λ‚˜ 도μž₯을 찍은 λ¬Έμ„œκ°€ β€œμ§„μ§œ 도μž₯μ—μ„œ λ‚˜μ™”λŠ”μ§€β€ 확인할 수 μžˆμ§€λ§Œ, 도μž₯ 자체(=κ°œμΈν‚€)λŠ” λ§Œλ“€ 수 μ—†μŒ.


πŸ“ μˆ˜ν•™μ μœΌλ‘œ 보면

  1. κ°œμΈν‚€ d: λΉ„λ°€ μ •μˆ˜
  2. κ³΅κ°œν‚€ Q = dΒ·G: 타원곑선 κ³±μ…ˆμœΌλ‘œ κ³„μ‚°λœ κ²°κ³Ό
  3. λ©”μ‹œμ§€ m, μ„œλͺ… (r, s): κ°œμΈν‚€λ₯Ό μ‚¬μš©ν•˜μ—¬ μ„œλͺ…
  4. λˆ„κ΅¬λ‚˜:
    • λ©”μ‹œμ§€ m
    • μ„œλͺ… (r, s)
    • κ³΅κ°œν‚€ Q
      λ₯Ό κ°€μ§€κ³  verify(m, (r,s), Q) μˆ˜ν–‰ κ°€λŠ₯

βœ”οΈ 이 검증이 μ„±κ³΅ν•˜λ©΄ β†’ “이 μ„œλͺ…은 Q에 ν•΄λ‹Ήν•˜λŠ” κ°œμΈν‚€λ₯Ό κ°€μ§„ 자만 λ§Œλ“€ 수 μžˆλ‹€”λŠ” 사싀을 증λͺ…ν•©λ‹ˆλ‹€.


πŸ“Œ μ€‘μš”ν•œ 점

ν•­λͺ©μ„€λͺ…
βœ… μ„œλͺ… 검증 κ°€λŠ₯μ„±κ³΅κ°œν‚€κ°€ κ³΅κ°œλ˜μ–΄ μžˆμœΌλ―€λ‘œ, λˆ„κ΅¬λ‚˜ 검증 κ°€λŠ₯
❌ κ°œμΈν‚€ λ…ΈμΆœ μ—†μŒκ³΅κ°œν‚€λ‚˜ μ„œλͺ…, λ©”μ‹œμ§€λ‘œ κ°œμΈν‚€λŠ” μœ μΆ”ν•  수 μ—†μŒ
πŸ”’ λ³΄μ•ˆ κΈ°λ°˜νƒ€μ›κ³‘μ„  이산 둜그 문제(ECDLP)의 μˆ˜ν•™μ  λ‚œμ΄λ„

πŸ”„ μ •λ¦¬λœ 흐름

scssCopyEdit[ κ°œμΈν‚€ d ]
    ↓ μ„œλͺ…
[ λ©”μ‹œμ§€ + μ„œλͺ… (r,s) ]  
    ↓ 검증 (κ³΅κ°œν‚€ Q = dΒ·G)
[ λˆ„κ΅¬λ‚˜ μ„œλͺ…μ˜ μ •λ‹Ήμ„± 확인 κ°€λŠ₯ ]

βœ… μš”μ•½

κ°œλ…μš”μ•½ μ„€λͺ…
κ°œμΈν‚€λ©”μ‹œμ§€μ— λŒ€ν•œ μœ μΌν•œ μ„œλͺ…을 μƒμ„±ν•˜λŠ” β€œλΉ„λ°€κ°’β€
μ„œλͺ…κ°œμΈν‚€λ‘œ λ©”μ‹œμ§€μ— λŒ€ν•΄ μƒμ„±ν•œ μˆ˜ν•™μ  증거
κ³΅κ°œν‚€μ„œλͺ…이 ν•΄λ‹Ή κ°œμΈν‚€λ‘œ λ§Œλ“€μ–΄μ‘ŒλŠ”μ§€ λˆ„κ΅¬λ‚˜ 검증할 수 있게 ν•΄μ€Œ
λ³΄μ•ˆμ„±κ°œμΈν‚€λŠ” μ ˆλŒ€ λ…ΈμΆœλ˜μ§€ μ•Šκ³ λ„ μ†Œμœ κΆŒ 증λͺ…이 κ°€λŠ₯

μ½”λ©˜νŠΈ

λ‹΅κΈ€ 남기기

이메일 μ£Όμ†ŒλŠ” κ³΅κ°œλ˜μ§€ μ•ŠμŠ΅λ‹ˆλ‹€. ν•„μˆ˜ ν•„λ“œλŠ” *둜 ν‘œμ‹œλ©λ‹ˆλ‹€