목록2025/01/09 (1)

Nullorm

circom을 이용한 zkp 생성 및 검증하기

Terminologysignalinput, output, intermediate로 정의할 수 있음main component에서만 public, private구분하면 됨constraintsignal들의 관계를 나타낸 것constraint = set of gates 정도로 이해하고있긴 함A * B + C = 0의 형태로 나타내야 함(근데 컴파일 과정에서 이렇게 변환해준다는 말인듯)R1CS꼴로 나타내려면 이렇게 해야 함witnessconstraint를 만족하는 input signal의 set으로 이해하고 있음Circomcircom을 통해 circuit을 컴파일하고, r1cs 형식으로 formatting하여 zkp를 생성 및 검증할 수 있다. Prerequisite: circom, snarkjs 설치0. cir..
Web3/Web3 수학&암호학 2025. 1. 9. 12:37
이전 Prev 1 Next 다음