NEAR light client

1. 引言

NEAR官方在2020年10月发布了一则 Succinct Proof for NEAR light client的悬赏。

NEAR采用的是ed25519签名。
NEAR light client应：

• 压缩the light block verification 到 仅需验证一个单一的proof，这样可快速同步区块并用于Rainbow bridge中。

NEAR light client希望达成的目标有：

• 1）Light client proof generator, that fetches specific block by height from the node over RPC and generates a succinct proof that takes block hash and a block from previous epoch as arguments。
• 2）提供多种blocks proofs的测试用例，包括但不限于：epoch的最后一个区块、epoch的第一个区块、epoch的中间区块、无效区块（如无效data，无效签名等）、扫描NEAR主网所有区块生成proof并verify。
• 3）Solidity携程的Proof verifier合约，输入为某previous epoch的某block hash和block，输出为a proof。
• 4）从创世区块到指定区块的recursively proof。

参考资料

[1] https://nomicon.io/ChainSpec/LightClient.html
[2] Rainbow Upgrade Idea: Using zk-SNARKS to cheaply verify ED25519 signatures on Ethereum mainnet