ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
https://leo-lang.org/
GNU General Public License v3.0
4.78k stars 660 forks source link

[Feature] Quick redeployments to new networks #28083

Open evan-schott opened 5 months ago

evan-schott commented 5 months ago

Currently, there is no efficient way to port programs from one network to another

evan-schott commented 5 months ago

Additionally, programs should be able to import programs from different networks using different endpoints. For example, if I am creating a program A.aleo using a local devnet as my endpoint, I should still be able to pull a program from the the canonical mainnet using aleo explorer, as well as a program from the canonical testnet using aleo explorer.