search

harmony-one / horizon

Horizon - a trustless harmony to ethereum bridge
MIT License
36 stars 29 forks source link

HarmonyProver, EthereumProver, and Ethash correctness #21

Open gupadhyaya opened 2 years ago

gupadhyaya commented 2 years ago

Verify the code for HarmonyProver, EthereumProver, and Ethash modules as they are all inherited from public un-audited code.