wwa comments on Saving the World - Progress Report - Less Wrong

1 [deleted] 01 August 2014 02:51PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (47)

You are viewing a single comment's thread. Show more comments above.

Comment author: wwa 02 August 2014 06:56:03PM *  0 points [-]

checkable partial execution traces with cryptographically strong bounds on honest vs fraudulent work

You may want to talk to these guys: http://www.scipr-lab.org/pub (SNARKs for C)

And to me as well, in due time.

Comment author: [deleted] 02 August 2014 07:56:20PM *  0 points [-]

I am aware of their work, being as I am a bitcoin core developer working on the related areas of privacy enhancement and script extensions. What I was alluding to is not pairing cryptography though as that is much too slow for this application, and ultimately not interesting in the context of self-modifying programs. It is something much simpler having to do with one way hashes of the result then pruning the execution trees in such a way that cannot be cheated within the bounds of execution time, which can be compared with energu usage. in other words have the program give a concise summary of its execution thought processes which led to the result it gives in such a way that it can't be hiding things.

what are you working on?