In the paper on page two, lower left, we write that each server
party execute identical copies of the server program inn lock-step.
Based on this assumption it is reasonable to consider the server as
having a single well-defined state. However in Viff this is no
longer true due to parallelism. But it would be very nice if we
could consider the server as having a single well-defined state.
I don't like this since it introduces a wide gap between the model and
the real world and I believe such a gap makes it easier to come up
with inefficient solutions.
Then we have to come up with a better description...
--
Janus
_______________________________________________
viff-devel mailing list (http://viff.dk/)
viff-devel@viff.dk
http://lists.viff.dk/listinfo.cgi/viff-devel-viff.dk
