(이해는 다 못했지만 ppt보면서 받아적어봄..)
모듈러 블록체인 modular Blockchain
노드의 합의, 실행, 데이터 기능을 분리
합의 Gasper, Narwhal
safe permissionless consensus
실행
- 오프체인(에서 실행하고 결과만 옾체인에 저장.)
-대체로 순차적 실행하지만 트랜잭션 병렬 실행 시도. EIP-2930 명시하는 방식. 트랜잭션이 충돌하는지 아닌지 확인할 수 있음,
-파이프라인 ,
-FuelVM, 트랙엔진 개선하려는 시도.
데이터
시간이 지나면서 노드 돌리는게 부담이 됨.
1. 무상태 실행
기본적으로 잔액확인, 즉 트랜잭션 검증해야함. 그상태 검증을 다 가져해야하는데 아예 보내는 사람이 같이 넘기면 어떨까? 내가 백원이상 가지고 있다는 증거를 넘기는. 전체 상태를 보지 않아도. 기존 머클트리의 역할.
2. 온체인, 오프체인 선택 volition
3. 상태만기
필요한 데이터 쌓이는거 방지로 끊어주고 다시 시작
p2p네트워크 통해서는 1년내 데이터만 요청할 수 있게 하자 제안.
4. 데이터 가용성 레이더 data availability layer
저장하는거 전문적으로 하는 체인에 하자.
가장 큰 문제 저장공간 증가
굉장히 많은 I/O가 필요하고 너무 큰 디스크 필요.
비탈릭의 아이디어. bitco
이더리움에 트랜잭션 저장하기에는 이더리움 너무 비싸 . 비트코인 캐시에 저장하는거 어떠냐.
현재는 실행 - 데이터 저장 - 검증을 모두 하나의 이더리움 체인 내에서 처리하고 있다. 이를 모놀리틱 블록체인이라고 한다. 이로 인해 확장성 문제가 대두되고 있다.
모듈형 블록체인은 실행 / 데이터 저장 / 검증을 모두 분리해서 실행하는 체인을 의미한다. 해당 과정을 분리할 경우 탈중앙성과 보안 그리고 확장성 이 세가지 블록체인 트릴레마 문제를 해결할 수 있다.
출처: https://muritzy.tistory.com/3039 [Eddy Lab:티스토리]
(-> 여기 블로그 글이 정리 잘되어있다. )
동작
리드 솔로몬 부호.
-인코딩으로 뻥튀기
전파
-저장 분배. 증명을 통해 확인
데이터 저장을 요청하면 데이터를 리드솔로몬 인코딩한 조각으로 나누고 DA풀 노드들에게 분배
DA 풀노드 는 조각을 저장했다는 증명을 생성
일정개수 이상 증명이 모이면 데이터를 저장했다고 알림
예) 오프체인 롤업 운영자가 블록 혹은 트랜잭션 ㄴ애용을 저장
회수
-원본을
데이터가 ㄱ필요하면 DA라이트 노드가 DA풀노드들에게 조각을 요청
일정 애수 이상 조각이 모이면 디코딩하여 원본 데이터 복원 가능
나중에 롤업블록 내용을 확인가능 data availability데이터 가용성 오라클
데이터 가용성 레이어는 데이터를 해석하지 않고 저장만,
여러 블록체인이 데이터 가용성 레이어를 공유가능.
해당 블록체인과 관계된 데이터만 조회하는 기능
데이터를 저장/조회하고 신뢰도를 안려주는 API제공
DA라이트 노드는 애초에 데이터 인코딩이 잘못된 경우 사기 증명을 만들어야하고 노드들이 해당조각을 저장하는지 확인해야한다.
polygon avail
2D 리드 솔로몬 부호 + kzg커미트먼트
현재 테스트넷
벨리데이터 노드,DA풀노드 maticnet
celestia
머클트리 노드마다 자식노드 범위를 지정함.
2D 리드 솔로몬 부호 + 네임스페이스 머클트리 NMT
코스모스 SDK로 구현
벨리데이터 노드
브리지 노드, 연결해주는 브릿지 역할 함.
celestiaorg/optimint 코스모스 기반 옵티미스틱 롤업 샘플
기존 스토리지 블록체인과 유사, storj sia와 특히 비슷
차이점,
스토리지 규모가 페타바이트 단위
파일 경로 단위로 접근
복제 증명 강조
암호화로 파일보안
지속적 가용성 유지.
ethereum에서는 어떻게 하고 있나.
롤업중심 로드맵과 데이터 샤딩(트랜잭션 실행할 데이터만 제공하는 역할)
롤업은 태랜잭션 calldata영역에 롤업 트랜잭션 내용을 줄여서 기록
과거 이스탄불 하드포크 때 calldata에 정보를 기록할 때 필요한 가스 하락. ELP-2028
2022년 초 Danksharding제안 ,이더리움 연구자 이름임
ELP-4844는 calldata보다 17배 정도 가스가 저렴한 데이터 덩어리 blob추가
2D리드 솔로몬 부호 +KZG커미트 먼트
데이터 덩어리를 온체인 스마트 컨트랙트가 읽을 수 없어.
<polygonZK>
폴리곤 방향성
폴리곤
확장성 솔루션,
디앱을 위해서. 근데 원하는게 다 다름.
프로토콜이나 유저들이 원하는데로 사용할 수 있는
폴리곤 확장성 솔루션
ethereum
polygon Zero
polygon pos
avail - 데이터 가용성을위한 솔루션
miden
폴리곤 더이상 사이드체인이라 불리기 애매하다
확장성 솔루션 scalability Aggregator
polygon
ZKrollup
스타크, 스나크..
처음으로 영지식증명을 블록체인에 증명
polygon nightfall
polygon ID 자신 정보를 공개하지 않고 자신특성 증명할 수 있는 서비스.
Polygon Hermez 2.0
zkEVM
하나의 디앱은 하나의 네트워크밖에 못올림.
브릿지 사고,
네트워크가 분리
디앱별로 분리된다고 생각하면 지금 겪고 있는ㄴ 문제가 극단화.
zk란 프로폴을 만들 수 밖에 없는 기능적인
증명을 만드는 것. 제대로 동작했는지 확인하는 체크리스트로 함. 이걸 증명증거로 만들어서 스마트 컨트렉트에 보냄.
프라이빗키맞는지
잔액이 100보다 많은지
보낸금액이랑 똑같은지.
nft는 잔액이 별로 안중요함. 새롭게 발행된 nft가 내 주소에 잘 있는지 잘 맵핑되어있는지 확인.
체크리스트 만들면 못바꿈.
네트워크를 새로 만들어야함.
증명을 만드는 시스템때문에 하나의 디앱별로 하나의 네트워크밖에 못올림.
이더리움 네트워크처럼 여러개 하고 싶어서 ZKrollup에서 EVM으로 넘어오고 있음
zk evm은 연산이 실행됐는지만 확인함.
모든 상태 정보들을 우리가 만든 폴리곤 솔루션에 저장하면 좀 더 수수료가 저렴해라고 주장하고 있음
폴리곤이 모듈로 블록체인으로 바꾸면서 연산, 저장은 서로 상호작용해서 저장할 수 있게 한다.
polygon Miden
general purpose, stark
evm이랑 vm이랑 달라.
스나카가 더 개발자 친환경적.
스나크를 선택한 프로젝트는 효율성.
스페셜 라이즈드- 각 기능별로 따로 만드는..
polygon zero
증명을 만드는 코드안에 증명을 검증하는 코드도 같이 만듦
layer1 - 연산할 때 마다 비용든다.
폴리곤 제로는 증명시스템을 만든다.
두번째 첫번째 프로펄이 올바르다는 내용
세번째, 첫번째 두번째 트랜잭션을 ... 확인
재귀적인 시스ㅁ템 연ㅇ루.
polygon nightfall
기업내에서 거래도 있나봐
기업이 블록체인 기술가져와서 만든다 할때 어느정도 속이나는게
이더리움처럼 기업용에서 요구하
블록체인에서 영지식증명 쓸때
1. 개인정보 보호
2. 유효성 검증
위해.
Layer2에서 만든 건 다 layer1에 저장되고 있음
https://muritzy.tistory.com/3039
이더리움의 구원자, 폴리곤(Polygon) 모듈러 블록체인?
Markets by TradingView " data-ke-type="html"> <>HTML 삽입 미리보기할 수 없는 소스 출처 : https://xangle.io/research/6267b8999d2628adb3128e9a?utm_source=ddengle&utm_medium=organic_community&utm_campa..
muritzy.tistory.com
https://blog.polygon.technology/polygon-avail-unlocking-the-modular-blockchain-future/
옵티미즘(Optimism)이란 무엇인가 - BeinCrypto Korea
옵티미즘 이더리움은 트랜잭션이 계산되는 레이어2를 사용한다. 이를 통해 비용을 절감할 수 있다. 하지만 그 다음에 트랜잭션 정보는 레이어1로 이동한다. 다시 말해 옵티미즘은 일반적인 이더
kr.beincrypto.com
https://polygon.technology/solutions/polygon-zero/
https://consensys.net/blog/developers/introduction-to-zk-snarks/
Introduction to zk-SNARKS | ConsenSys
An overview of zero-knowledge proofs and how to integrate zk-SNARKs into Ethereum.
consensys.net
'웹 공부' 카테고리의 다른 글
값복사 (0) | 2022.06.07 |
---|---|
브라우저는 어떻게 동작하는가 (0) | 2022.05.30 |
브라우저 렌더링 과정 (우아한 tech 영상 정리함) (0) | 2022.05.26 |
git 메뉴얼 정리함 (0) | 2022.05.18 |
시퀄라이즈 테이블 코드 자동 생성하는 법(mysql,database,sequelize) (0) | 2022.03.10 |