Think about Debugger tools

hashcloak / stoffelMPC

GNU Affero General Public License v3.0

38 stars 4 forks source link

Think about Debugger tools #9

Open Mikerah opened 2 years ago

Mikerah commented 2 years ago

After working with MP-SPDZ, I noticed that it has a lack of debugger tools for tracing the execution of a program, from compilation to execution. In order to be effective with any such library, developers need a way to debug their MPC programs. At a minimum, our debugger should allow for

[ ] : Debugging compilation by creating an assembly output along with some important statistics
[ ] : Debugging execution on 1 or more MPC nodes and outputs their local view of what they're executing.

th4s commented 2 years ago

Do you already have an idea of how to implement such a debugging functionality? Will it e.g. just be struct which can be attached to a VM or node, which offers some fine-grained logging functionality?

Mikerah commented 2 years ago

Yes, that's what I'm thinking. We can have a struct for both the VM and compiler since the information you'd want to see for both are different enough.