λ³Έ λ
Όλ¬Έμ μ€μ λ°μ€ν¬ν± νκ²½μμ μλνλ GUI μμ΄μ νΈ κ°λ°μ νμν λκ·λͺ¨ κ³ νμ§ μνΈμμ© λ°μ΄ν° μμ§μ μ΄λ €μμ ν΄κ²°νκΈ° μν΄ ANCHORλΌλ κΆ€μ νμ₯ νλ μμν¬λ₯Ό μ μν©λλ€. ANCHORλ μμμ κ²μ¦λ μ΄κΈ° μμ° λ°μ΄ν°λ‘λΆν° μλ―Έ μλ μν λ³νλ₯Ό λνλ΄λ λΆκΈ°μ (branch point)μ μλ³νκ³ , νμ¬ GUI 컨ν
μ€νΈμ κΈ°λ°νμ¬ μλ‘μ΄ μμ
λ³νμ μμ±ν©λλ€. μ΄λ κ² μμ±λ κΆ€μ μ μμ΄μ νΈ μ€νκ³Ό κ²μ¦μ(verifier)μ μν μΈμ κ²μ¬λ₯Ό ν΅ν΄ νμ§μ΄ ν₯μλλ©°, μ΄λ₯Ό ν΅ν΄ λͺ¨λΈ μ±λ₯μ ν₯μμν΅λλ€.