Nullorm

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..

블록체인 가상화폐를 대표하는 비트코인은 채굴, 검증 등 모든 수학적 과정 안에 이 SHA-256이라는 알고리즘이 등장하는 것으로 보인다. 사실 해시알고리즘까지 알아야하나? 싶긴 하지만 그래도 일단 코인수학&암호학 이라는 카테고리를 만든 김에 첫 번째 수학적 내용으로 적절해보이긴 해서 공부해보았다. 1. SHA-256? SHA-256은 메시지, 파일 암호화 또는 무결성검증 등에 널리 사용되는 일방향 암호화 해싱 알고리즘이다. 대상 데이터를 256-bit 길이의 hash값으로 변환하는 역할을 한다. 해시 알고리즘의 가장 큰 특징은 암호화 대상 데이터(평문)의 값이 아주 조금만 달라져도 결과값(암호문)이 크게 달라지는 것이다. 한번 예시와 함께 살펴보자. 2. 예시 (python) import hashlib ..