비 대화형 영지식 증명 - zk-SNARKs

[비 대화형 영지식 증명 개념]

 

 

기존의 영지식 증명 시스템은 검증 결과의 확률을 높이기 위해 메시지 교환을 여러번 해야합니다.

이처럼 메시지 교환을 증가시키면, 시스템 결과의 안전성 이 증가하지만,

증명자와 검증자의 메시지 교환이 많아져서 효율성이 떨어 지게 됩니다.

 

● 비대화형 영지식 증명 => 증명자가 검증자의 검증 결과의 안정성을 높이기 위해 대화형 영지식 증명처럼

메시지를 반복하여 교환할 필요가 없다.

 

 

 

[zk-SNARKs]

-> zk-SNARKs 는 대표적인 비대화형 영지식 증명 시스템이다.

 

1. zk-SNARKs에는 믿어야 하는 제 3자(Trusted Party)가 있는습니다.

2. Trusted Party는 증명자 가 증거를 만들고, 검증자가 증거를 검사할 때 필요한 정보를 제공합니다.

3. 증명자는 Trusted Party가 준 정보로 증거를 만들고 검증자에게 전송합니다.

4. 검증자는 계산을 통해 증거가 옳은지, 옳지 않은지 검증합니다.

●  zk-SNARKs 는 Trusted Party 가 제공하는 식 덕분에 메시지 교환을 한번만 하면 된다!!!

 

●  장점:

1. 메시지 교환을 위해 불필요한 비용,전력소모 등이 없다.

2. Trusted Party가 제공한 식을통해 메시지 교환하면 변조 가능성이 없다.

 

● 단점:

1. Trusted Party가 메시지를 변조를 하거나 Trusted Party가 해킹당할 가능성이 있다.(Trusted Party 중앙화)

2. Trusted Party를 도입하는 대신 플랫폼 내부적으로 Trusted Party 에게 일정량의 수수료를 지급해야 한다.