A procedure is reentrant if its execution can be interrupted in the middle, initiated over (re-entered), and both runs can complete without any errors.
What is the nature of reentrancy in Cardano's computational model? If plutus doesn't by construction rule this out, what are the best practices?
good resource. The idea is the $150M "DAO Hack" was caused by this.
Deliverable
Research: if plutus doesn't by construction rule this out, what are the best practices?
Recommend: those best practices if any are found
Document: audit language detailing the process and recommendation or detailing a belief that reentrancy isn't a problem.
Notes
research opportunity here would make for a good journal.platonic.systems post.
Description
What is the nature of reentrancy in Cardano's computational model? If plutus doesn't by construction rule this out, what are the best practices?
good resource. The idea is the $150M "DAO Hack" was caused by this.
Deliverable
Research: if plutus doesn't by construction rule this out, what are the best practices? Recommend: those best practices if any are found Document: audit language detailing the process and recommendation or detailing a belief that reentrancy isn't a problem.
Notes
research opportunity here would make for a good
journal.platonic.systems
post.