RoriChan
6 subscribers
5 links
Rorical's Channel
Download Telegram
to view and join the conversation
Channel created
Channel photo updated
今天就迈出第一步呗
首先就是招揽人才咯
咳咳,那我先介绍下Project Shugetsu
这是一个雄心壮志,梦想跨越数十年的组织。旗下不仅有计算机,也有其他跨学科的子项目。
欢迎各位加入,无论是对计算机抱有热爱,亦或是对理科十分了解,甚至是精通音乐或者绘画,都可以来这里发挥自己的长处,顺便追逐下梦想。
目前的项目因为由我主导,所以大部分都是去中心化系统,如果有对区块链等感兴趣的实在是再好不过了。
计算机方面的人才可以用下面的试卷证明自己的能力
https://forms.office.com/r/D9JXG2Ztzx

如果有其它一技之长的,欢迎直接@我
说不定有机会进入Shugetsu的Official Group!

https://rorical.blue/archives/123
RoriChan
https://t.me/shugetsusoftlib
这个是shugetsu soft的资料库,想要做Research的应该能很方便的获取到资料
最近学了点零知识证明,大概了解了以太坊zkRollup的原理了
零知识证明字面意思也就是不泄露任何关于事物本身的知识而证明一个关于这个事物的一个陈述是正确的,在zksnark中可以让prover向verifier证明自己知道多项式的一个解而不透露解本身。大致原理利用了多项式的性质和同态加密,这个比较复杂就先不细讲了。
以太坊的Rollup方法中有两个,一个是利用欺诈证明的Optimism Rollup,简而言之就是主动提交对于状态转换的争议并且放到以太坊链上再次计算来解决争议;另一个就是ZK-Rollup。
在zk rollup中,所有账户都在链下以一个merkle tree的形式组织起来,以太坊链上本身只存储这个merkle tree的root。这整个merkle树即为一个状态,而账户发布的交易则触发状态的转移。许多transaction在链下计算,每个transaction都操作merkle tree中两个叶子节点(账户)的数据。每个转账操作都会导致merkle tree整个改变,从而改变merkle tree root。这里零知识证明的作用就是证明这个状态转变的有效性。zk rollup中,链下节点收集许多transactions,计算出新的merkletree和对应的root,还要计算出对应证明状态转移有效的零知识证明,证明这个状态转换确实满足所有约束(所有签名正确,增加和减少的balance正确),并提交到以太坊上对应的合约。合约验证了零知识证明的正确性以后,就会存储对应merkel tree的变更。
zk-rollup在满足安全性的条件下增加了能处理的交易数量。通过只存储merkle tree root在链上(交易会压缩保存到calldata里),极大的降低了链上的存储成本。通过零知识证明的Recursive Proof Composition,可以把许多transaction压缩到一个证明里,还极大的增加了交易的处理能力。
现有库和资源综合:https://zkp.science/
以太坊官方解释:https://ethereum.org/en/developers/docs/scaling/layer-2-rollups/
手把手实现rollup的零知识证明电路:https://keen-noyce-c29dfa.netlify.app/
好像是采用零知识证明压缩区块数据的一个项目:https://minaprotocol.com/
zkSNARK相关库:
1. https://github.com/microsoft/Spartan
2. https://github.com/zkcrypto/bellman
3. https://github.com/iden3/snarkjs
RoriChan
读完这个基本可以知道如何进行Substrate区块链开发 https://substrate.dev/substrate-how-to-guides/
我收回这句话,把文档都翻一遍都不知道咋写它的区块链
到处都是充满玄学的macro 根本不知道它那么多traits到底是什么,这些macro都是怎么展开的
说不定欺诈证明和零知识证明可以结合着来?