BlockChain/ZKP7 Fast Fourier Transforms (ZKP 이해를 위한) FT zkEVM에 대해 공부하면서 FFT(Fast Fourier Transform, 빠른 푸리에 변환)가 굉장히 많이 등장했다. 학교 수업에서 얼핏 들어본 적은 있었지만 제대로 알고 있지 않아 이 참에 이해하여 정리해보고자 한다. FFT에 대해 찾아보면서 수학뿐만 아니라 굉장히 많은 영역에서 쓰인다는 것을 알았다. 주로 신호처리, 음성, 통신 분야에서 사용하는 개념이고, 수학 분야에서 응용을 했다고 이해했다. 푸리에 변환이란 시간에 대한 신호 함수를 주파수에 대한 식으로 변환하는 것을 말한다. 노이즈가 섞인 주파수에서 특정 주파수를 추출해낼 수 있다. 하지만 나는 컴퓨터과학 전공자로서, 컴퓨터 과학에서 사용하는 푸리에 변환에 초점을 맞출 것이며, 그 중에서도 zkEVM을 이해하기 위한 Background.. 2023. 6. 27. [Research] zk-rollup Overview ZK-rollups VS optimistic rollups Zero-knowledge rollups (ZK-rollups) are similar to optimistic rollups in that they combine a large number of Layer 2 transactions that were executed off-chain and submit them as one transaction onto Ethereum. However, instead of assuming transactions are valid until proven otherwise, ZK-rollups use validity proofs to instantly prove if transactions are valid or n.. 2023. 3. 26. [raw] scroll Proof 생성 과정 이해해보자 현재 level에서도 이해하는 것이 쉽지 않았는데 아직 내려갈 level이 많아 보인다,, 갈길이 멀다 2023. 3. 21. 이산로그문제(DLP) in ZKP 유한한(finite) 그룹 G와 이항연산(binary operation)이 주어지고, 원소 a와 b가 주어졌을 때, a를 몇 번 연산하면 b가 되는가? 위 문제를 DLP(Discrete Logarithm Problem)라고 합니다. 먼저 DLP에 대해 알아봅시다. 이산로그문제(Discrete Logarithm Problem) 이산로그(discrete logarithm) 문제는 수학에서 중요한 문제 중 하나입니다. 이 문제는, 어떤 수 a와 b가 주어졌을 때, a^x ≡ b(mod p)를 만족하는 가장 작은 양의 정수 x를 찾는 문제입니다. 이 때 p는 소수이고, ≡ 기호는 모듈로(modulo) 연산을 나타냅니다. 좀 더 명확한 정의는 아래와 같습니다. DLP의 정의는 위와 같습니다. DLP의 경우 어떤 .. 2023. 3. 19. 이전 1 2 다음
