미나 프로토콜 (Mina-Protocol) 유효성 증명 (Blockchain Validity)
이전 게시글들에서 살펴봤던 영지식 증명과 ZK-SNARK 내용입니다. 2022.10.20 - [Study/블록체인] - 영지식 증명(Zero-knowledge Proofs)- 직관적인 설명 2022.10.24 - [Study/블록체인] - zk-SNARK - 영지식 증명(Zero-knowledge Proofs) 2022.10.25 - [Study/블록체인] - zk-SNARK (Zero-Knowledge-Succinct Non-Interactive Argument of Knowledge) 미나프로토콜에서 블록체인의 유효성 증명을 어떻게 하는지 알아보겠습니다. 블록체인은 중앙기관 대신 많은 독립된 노드들이 운영합니다. 즉 많은 사람들이 블록체인을 신뢰하려면, 블록체인이 유효한지 확인을 해야 합니다. 다른 ..
2022.10.24 - [Study/블록체인] - zk-SNARK - 영지식 증명(Zero-knowledge Proofs) zk-SNARK - 영지식 증명(Zero-knowledge Proofs) 기존의 블록체인들(Legacy Blockchains) (예를들어,비트코인, 도지코인, 이더리움 등)은 계속 증가하는 크기로 인해 전체 체인을 확인하는데 오랜 시간을 기다려야 한다는 문제에 직면해 있습니다. 이 15051015.tistory.com zk-SNARK는 Zero Knowledge Succinct Non-Interactive Argument of Knowledge의 약자입니다. 여기서 SNARK가 무엇인지 알아보겠습니다. S - Succinct 는 증명이 작아서 증명되는 개념이 복잡해도 검증이 쉽다는 ..
zk-SNARK - 영지식 증명(Zero-knowledge Proofs)
기존의 블록체인들(Legacy Blockchains) (예를들어,비트코인, 도지코인, 이더리움 등)은 계속 증가하는 크기로 인해 전체 체인을 확인하는데 오랜 시간을 기다려야 한다는 문제에 직면해 있습니다. 이는 속도의 문제이기도 하지만, 어느정도의 사양이 받쳐주지 않는다면 블록체인 시스템을 사용하기 어렵다는 문제점도 있습니다. 그러나 Mina를 사용하면 참가자는 재귀적 영지식 증명(using recursive zero knowledge proofs) 또는 zk-SNARK를 사용하여 일반 장치에서도 네트워크 및 트랜잭션을 완전히 확인 할 수 있습니다. zk-SNARK에서 zk는 Zero-Knowledge입니다. 지난 글에도 설명했었던 내용입니다. 2022.10.20 - [Study/블록체인] - 영지식 증..
영지식 증명(Zero-knowledge Proofs)- 직관적인 설명
영지식 증명이란? 영지식증명(Zero-knowledge Proofs: ZKPs)은 간단히 말하자면, 비밀정보를 직접 보여주지 않아도 내가 그 비밀정보를 가지고 있다는 것을 증명할 수 있는 강력한 암호기술 입니다. ZKP를 처음 접하신다면, 어떻게 가능한지 의문이 드실겁니다. 계속해서 읽으시면 이해할 수 있게 직관적인 설명을 해보겠습니다. 영지식증명은 1985년 샤피 골드바저, 실비오 미칼리, 찰스 래코프에 의해서 발명되었습니다. 그 이후로 ZKP는 암호학에서 많은 관심을 받으며 활발히 연구되어 왔습니다. 최근에는 실제 애플리케이션, 특히 블록체인 기술에 상당한 영향을 미치며 사용되고 있습니다. 한 예를 보자면 블록체인 프로젝트 중 Zcash는 금융거래 익명성을 위해 영지식 증명을 사용하였습니다. CODA..
Ethereum - GAS (가스)
GAS란? 이더리움 스마트 컨트랙트에서 코드를 실행시키는데 필요한 일의 양 왜? 가스를 만들었을까.. 이더리움은 마켓프라이스가 존재하기 때문에 (거래소에서 거래 됨) 이걸 일의 양 단위로 사용하게 되면, 일의 양은 고정되어 있는데 가격은 변동이 크기 때문에 문제가 생김. --> GAS를 만들어 이더의 시장 가치와 오퍼레이션의 가격을 분리 하지만, 이더리움의 가스 가격도 변하는데.. 심지어 급등도 하기도 한다. 왜 그런걸까? 블록에서 트랜잭션은 순서대로 실행되지 않는다. 현재 이더리움 네트워크의 생태계를 보면, PoW방식으로 채굴자가 블록 생성에 성공했을 때, 트랜잭션이 실행된다. 이때 채굴자는 자신이 만든 블록에 대한 보상으로 이더리움과 함께 자신이 포함한 트랜잭션의 수수료(Gas)를 받게 된다. 채굴자..
EVM (Ethereum Virtual Machine) - 개요
공부한거 그냥 정리.. EVM이란? 스마트 컨트랙트를 처리 (배포, 실행) 하기 위한 이더리움 가상 머신이다. Turing complete state machine 이라고 불리는데, Turing complete는 조건문과 반목문을 사용할 수 있는 것을 이야기 한다. 코드 실행에 가스비용을 부여하여 영원히 코드가 실행되는 무한루프가 없기 때문에 튜링 컴플리트하다. State machine은 한번에 하나의 상태를 가지는 것을 의미한다. 예를 들어 대기 -> 실행 -> 결과 라는 세개의 상태를 가지고 있는 기계라고 했을 때 동시에 대기와 실행의 상태를 가질 수 없고, 단 한가지 상태만을 가질 수 있는 머신을 상태 머신이라고 명명한다. 상태는 사건(event)에 의해 다른 상태로 변화할 수 있으며 이를 Tran..
0x 0 1 2 3 4 5 6 7 8 9 a b c d e f 0 STOP ADD MUL SUB DIV SDIV MOD SMOD ADDMOD MULMOD EXP SIGNEXTEND 1 LT GT SLT SGT EQ ISZERO AND OR XOR NOT BYTE SHL SHR SAR 2 KECCAK256 3 ADDRESS BALANCE ORIGIN CALLER CALLVALUE CALLDATALOAD CALLDATASIZE CALLDATACOPY CODESIZE CODECOPY GASPRICE EXTCODESIZE EXTCODECOPY RETURNDATASIZE RETURNDATACOPY EXTCODEHASH 4 BLOCKHASH COINBASE TIMESTAMP NUMBER DIFFICULTY GASL..