|
|
|
|
|
|
by ian_j_butler
37 days ago
|
|
|
Thanks for the hint. Reading more about this, it seems the crypto/zero-knowledge/interactive-proof terminology is formal but overloaded here.. games that have nothing to do with game-theory, simulation that has no connection with bisimulation |
|
|