# Reseach funded by Tezos 참여하는 프로그램 : 논스 클래식의 [오픈소스 랩](https://nonceclassic.org/osl) * 3개월의 파일럿 * 목표 : PoS Light Client 관한 현재 기술 리서치 현황 * 예상 결론 : ZKP 와 Aggregatable Commimtment 를 활용하여 PoS 를 위한 Light Client 를 구현할 기술 로드맵을 확보한다. * 참고 프로젝트 : Ethereum 2.0 , Celo, Matter-Labs * 활용 방안 : 블록체인 진영에서 PoS로의 활발한 움직임이 있는 가운데, PoS 를 위한 범용적인 Light Client 기술을 확보하여 Tezos 뿐만 아니라 다른 프로젝트와도 협업할 수 있음. 참고하고자 하는 논문 (in the proposal) * PoS Light Client ([The very First Proposal by Vitalik ](https://blog.ethereum.org/2015/01/10/light-clients-proof-stake/)) * [Plumo](https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf) - [Celo](https://celo.org/papers)'s Ultra-light client * [Video](https://www.crowdcast.io/e/celo-tech-talks-part-4/register) * Plumo on [SBC 2020](https://diyhpl.us/wiki/transcripts/stanford-blockchain-conference/2020/celo-ultralight-client/) * Reference : [SNARK at Celo](https://www.youtube.com/watch?v=Z5sJia3Ty4E) * [Podcast](https://www.zeroknowledge.fm/93) - Light client & ZKPs with Celo * [ETH 2.0 Light Client](https://hackmd.io/@wemeetagain/SkuswKu_r) by ChainSafe * [Comments](https://www.reddit.com/r/ethereum/comments/hy4we9/beyond_phase_0/fzba2qg/) from Vitalik * [Blockchain Light Client](https://medium.com/codechain/blockchain-light-client-1171dfa1269a) by Codechain * Generic [SuperLight Client](https://eprint.iacr.org/2020/844.pdf) * 활용 가능 여부 파악 필요 제안 : [Superlight 0](https://arxiv.org/pdf/1901.02213.pdf)/[1](http://dl.ifip.org/db/conf/im/im2019-ws3-hotnsm/192043.pdf) , [GuardTime](https://m.guardtime.com/files/Blockchain%20Receipts-2.pdf), [Waterloo](https://blog.kyber.network/waterloo-a-decentralized-practical-bridge-between-eos-and-ethereum-1c230ac65524) * vs PoW Clients ([FlyClient 0](https://eprint.iacr.org/2019/226.pdf)/[1](https://electriccoin.co/blog/explaining-flyclient/) , [NiPoPoW with ZKP](https://www.nimiq.com/blog/zero-knowledge-proofs-and-nano-nodes/) , ) * [Aggregatable Subvector Commit](https://eprint.iacr.org/2020/527.pdf) : * PoS Validator 의 Balance Check 를 위한 정보들을 Aggregate 하여 size 를 줄이는 방법. * [Commit-and-Prove SNARK](https://eprint.iacr.org/2019/142.pdf) * [CP Link](https://github.com/matteocam/CPlink) * 참고 (LegoSNARK 저자 [블로그](https://www.binarywhales.com/)) * CP-SNARK 활용 : [SAVER](https://eprint.iacr.org/2019/1270.pdf) * Further Study * [zecale](https://arxiv.org/abs/2008.05958) by Clearmatics * [zkSync](https://zksync.io/) by [Matterlabs](https://matter-labs.io/) * [Ethereum 2.0 Mauve Paper](https://cdn.hackaday.io/files/10879465447136/Mauve%20Paper%20Vitalik.pdf) by Vitalik * [Security Property](https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9129739) of Light Client on ETH