Implement ZK lightclient verification smart contract & relayer client

harmony-one / horizon

Horizon - a trustless harmony to ethereum bridge

MIT License

36 stars 29 forks source link

Implement ZK lightclient verification smart contract & relayer client #17

Open gupadhyaya opened 3 years ago

gupadhyaya commented 3 years ago

Fork https://github.com/ZK-Garage/plonk and write prover scripts to generate block and transaction inclusion proofs and write verifier smart contracts.

gupadhyaya commented 2 years ago

@bpolania you can post your design here.