Is it impossible for a program to automatically restrict the behaviors that other programs are allowed to have, if those other programs wish to interact with the first program?
Could a dex preemptively block interaction with tokens whose code would behave in a way the dex would not like, just by passive inspection, before they two even interact?
Vitalik types would quickly say no way, that’s impossible, in fact impossible to even determine what is the behavior of arbitrary other programs, let alone to restrict it.
But is that really what the classic math proofs say?
Some say it’s impossible, but future of crypto depends on it.
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
Could a dex preemptively block interaction with tokens whose code would behave in a way the dex would not like, just by passive inspection, before they two even interact?
Vitalik types would quickly say no way, that’s impossible, in fact impossible to even determine what is the behavior of arbitrary other programs, let alone to restrict it.
But is that really what the classic math proofs say?
Some say it’s impossible, but future of crypto depends on it.
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
🤯4👀2
👀6