zk-SNARKs

우리는 다음 세가지 성질을 만족하는 함수 E(x)를 HH라 하며, 이를 x의 hiding이라 부릅니다. 대부분의 x에 대해 E(x)만 가지고 x를 알아내는 것은 거의 불가능하다. 함수의 입력값이 다르면 출력값이 다르다. E(x)와 E(y)를 안다면, x와 y의 연산을 입력값으로 갖는 HH를 만들 수 있다. 첫 번째 성질부터 살펴봅시다. 1번의 E(x)는 어떤 x에 대한 함수의 값입니다.