Comment fonctionne ErgoScript ?

ErgoScript est le langage de smart contracts d'Ergo - un DSL fonctionnel base sur Scala qui compile vers ErgoTree. Contrairement au style imperatif de Solidity, ErgoScript est declaratif : vous definissez des conditions qui doivent etre vraies pour qu'une transaction soit valide. Il dispose d'un support integre des Sigma Protocols pour les preuves a connaissance nulle et opere sur le modele eUTXO ou les scripts gardent les boites.

• Fonctionnel : conditions declaratives, pas de code imperatif
• Base sur Scala : syntaxe familiere pour les developpeurs JVM
• Sigma Protocols : support natif des preuves a connaissance nulle
• Garde de boites : les scripts protegent les UTXOs, pas les comptes
• Deterministe : execution previsible, couts connus