Skip to content

First Prize Winner of Hack the Horizon Bridge Hackathon in Gitcoin organized by Harmony Protocol. Zero Knowledge Proof based Proof System for Cross Chain Interoperability with Harmony Protocol and Ethereum Protocol on Horizon Bridge

License

Notifications You must be signed in to change notification settings

LexiccLabs/VergeNet

 
 

Repository files navigation

Horizon

Horizon - a trustless harmony to ethereum bridge

Key points

  • A bridge with cross-chain light clients, relayers, and prover full nodes, all trustless, no additional trust assumptions beyond the two blockchains that the bridge is connected to.
  • A gas-efficient Harmony light client on Ethereum (could be generalized to other chains) that only requires checkpoint blocks (1 block every x blocks, where 1 ≤ x ≤ 16384, 16384 is the #blocks per epoch) to verify any number of Harmony transaction proofs by the clients.
  • A constant-size Harmony light client proof that any user needs to send cross-chain (e.g., Ethereum) to claim their Harmony transaction.

Bridge Components

Used in Ethereum to Harmony flow

  • Bridge smart contract on Harmony
  • Ethereum Light Client (ELC) smart contract on Harmony
  • Ethereum Verifier (EVerifier) smart contract on Harmony
  • Ethereum Prover (EProver) is an Ethereum full node or a client that has access to a full node
  • Ethereum Relayer relays every Ethereum header information to ELC

Used in Harmony to Ethereum flow

  • Bridge smart contract on Ethereum
  • Harmony Light Client (HLC) smart contract on Ethereum
  • Harmony Verifier (HVerifier) smart contract on Ethereum
  • Harmony Prover (HProver) is a Harmony full node or a client that has access to a full node
  • Harmony Relayer relays every checkpoint block header information to HLC

Ethereum to Harmony asset transfer

  1. User locks ERC20 on Ethereum by transferring to bridge smart contract and obtains the hash of this transaction from blockchain
  2. User sends the hash to EProver and receives proof-of-lock
  3. User sends the proof-of-lock to bridge smart contract on Harmony
  4. Bridge smart contract on Harmony invokes ELC and EVerifier to verify the proof-of-lock and mints HRC20 (equivalent amount)

drawing

Harmony to Ethereum asset redeem

  1. User burns HRC20 on Harmony using Bridge smart contract and obtains the hash of this transaction from blockchain
  2. User sends the hash to HProver and receives proof-of-burn
  3. User sends the proof-of-burn to bridge smart contract on Ethereum
  4. Bridge smart contract on Ethereum invokes HLC and HVerifier to verify the proof-of-burn and unlocks ERC20 (equivalent amount)

drawing

About

First Prize Winner of Hack the Horizon Bridge Hackathon in Gitcoin organized by Harmony Protocol. Zero Knowledge Proof based Proof System for Cross Chain Interoperability with Harmony Protocol and Ethereum Protocol on Horizon Bridge

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Solidity 87.0%
  • JavaScript 13.0%