With regard to source proof, the process you mention is only expensive if it must be performed every time for any two AIs. If you’re already running on a piece of hardware with some kind of remote attestation capability then the cost could be significantly lower. Not useful for humans, though.
Oh, small internet. I went looking for a link to a system I ran across a few years ago called RPOW as a sample application of current technology along these lines, and found the author to be none other than Hal Finney! Is that you, Hal? My compliments on the very interesting project if so.
rpow.net is indeed my project. Part of my interest in trusted computing technology is as a sort of prelude or prototype for some of the issues which will arise once we are able to prove various aspects of our source code to one another.
Don’t want to take things too off-topic so if this gets long we’ll take it elsewhere, but: is there any hope of doing similar things on Linux systems with TPM any time soon?
With regard to source proof, the process you mention is only expensive if it must be performed every time for any two AIs. If you’re already running on a piece of hardware with some kind of remote attestation capability then the cost could be significantly lower. Not useful for humans, though.
Oh, small internet. I went looking for a link to a system I ran across a few years ago called RPOW as a sample application of current technology along these lines, and found the author to be none other than Hal Finney! Is that you, Hal? My compliments on the very interesting project if so.
rpow.net is indeed my project. Part of my interest in trusted computing technology is as a sort of prelude or prototype for some of the issues which will arise once we are able to prove various aspects of our source code to one another.
Don’t want to take things too off-topic so if this gets long we’ll take it elsewhere, but: is there any hope of doing similar things on Linux systems with TPM any time soon?