Nope, Also with version 0.7 exactly the same problem occurs.
Sincerely, Sebastiaan -----Original Message----- From: Martin Geisler [mailto:[EMAIL PROTECTED] Sent: woensdag 1 oktober 2008 9:39 To: Hoogh, S.J.A. de Cc: viff-devel@viff.dk Subject: Re: FW: Bug in ViFF "Hoogh, S.J.A. de" <[EMAIL PROTECTED]> writes: Hi Sebastiaan, Thanks for giving VIFF some exercise! :-) > Tomas Toft and I are using ViFF to analyze Toft's secure Linear > Programming protocol. At the first sight everything seemed to work > nicely, but when trying to increase the number of participants and > the threshold we've found an annoying fact about ViFF: > > The threshold should be given explicitly when creating the runtime > in any ViFF program. ViFF doesn't check whether this threshold > matches with the parameters given in the configuration files. > Wouldn't it be nicer if the threshold is read by "create_runtime(id, > players, threshold, options, Toft05Runtime)" automatically? You mean that the threshold should be put in the player-X.ini files? I guess that is a good idea... As it is now, VIFF simply trusts you to get everything right -- it lets you pretend that you know what you are doing :-) The threshold used when generating config files determines the threshold for PRSS, whereas the threshold given to create_runtime determines the threshold for Shamir sharings. Now that I think of it, it seems natural to put both thresholds in the config files and unite them at the same time. > Now doing this consistently and setting #players =3 and threshold =1 > works and setting #players=5 and threshold=2 also works. However, > there seems to be some bug somewhere when trying #players=5 and > threshold=1. I've altered the millionaires.py such that it deals > with 5 players instead of three and it provides correct output if > threshold=2 but correct output for the participants 1, 2 and 3 only > (and junk for players 4 and 5) if threshold=1... Hmm, that is bad... did you generalize millionaires.py so that there can be 4, 5, ... millionaires? How did you sort the inputs -- like it is done in sort.py? > In addition, if I create the config-files with 5 players and > threshold=1 and if I put threshold=2 in the millionaires program, it > works again, i.e., provides correct output.... > > Hopefully, this information helps you finding the bug. If anything > needs some clarification I'm happy to provide you more details... Is this with version 0.7, which was just released? Also, can you send us the modified millionaires.py program? I have recently tested multiplications with (n, t) = (25, 8) and it ran fine, but I must admit that I did not check that the results were correct, I only made sure that the benchmarks could be run. -- Martin Geisler _______________________________________________ viff-devel mailing list (http://viff.dk/) viff-devel@viff.dk http://lists.viff.dk/listinfo.cgi/viff-devel-viff.dk