search

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.
https://arxiv.org/abs/2305.08254
MIT License
5 stars 2 forks source link

Add cross chain bridge #89

Closed hansstammler closed 4 days ago

hansstammler commented 2 weeks ago

Add a cross chain bridge that can relay transactions between anvil and avalanche.

Should be under CI/bridge.