smart contract merge #26
Conversation
|
|
||
| Hylé introduces **timeouts** for blob transactions to ensure timely proof submissions. | ||
|
|
||
| Transactions without proofs within a specific duration, as well as transactions with invalid proofs, are rejected. |
There was a problem hiding this comment.
Je pense cette section mérite un peu plus de détail. Il est pas clair pourquoi c'est un problème en particulier: c'est un problème car ça délaie la finalité: dois-je inclure cette transaction dans mon state?
En soit, "transactions with invalid proofs" c'est un cas particulier un peu weird - on rejette juste les Blobs TX qui n'ont pas de valid proof dans les temps.
Par ailleurs je formulerai plus explicitement que "rejette" signifie que la transaction doit être ignorée, pas qu'elle ne fait plus partie du block
|
|
||
| ## Smart contract ABI | ||
|
|
||
| All inputs in Hylé smart contracts must be known at proof generation time. This includes elements that wouldn't be known on other blockchains, such as the origin of the transaction (tx.origin) and the block number. |
There was a problem hiding this comment.
mh la phrase est un peu weird/inaccurate je trouve. Par essence, il faut tout connaitre at proof time. On connait at proof time les mêmes data qu'on aurait sur les autres chaines at execution time.
There was a problem hiding this comment.
tentative
| All inputs in Hylé smart contracts must be known at proof generation time. This includes elements that wouldn't be known on other blockchains, such as the origin of the transaction (tx.origin) and the block number. | |
| All inputs in Hylé smart contracts must be known at proof generation time. This includes elements that would be known at execution time on other blockchains, such as the origin of the transaction (tx.origin) and the block number. |
Merged « anatomy of a smart contract » and « smart contract ABI » as they had a lot of duplicate information; corrected outdated information.