This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
verificatum.arithm.ArithmFormatException: Quadratic non-residue! | |
[error] at verificatum.arithm.ModPGroupElementArray.<init>(ModPGroupElementArray.java:153) | |
[error] at verificatum.arithm.ModPGroup.toElementArray(ModPGroup.java:715) | |
[error] at verificatum.arithm.PPGroup.toElementArray(PPGroup.java:642) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ERROR: Failed to parse info files! | |
DEBUG:apscheduler.threadpool:Exiting worker thread | |
call_cmd: calling vmnc -pkey -outi json publicKey_raw publicKey_json | |
output = Exception in thread "main" verificatum.protocol.ProtocolError: Failed to parse info files! | |
at verificatum.protocol.mixnet.MixNetElGamalInterface.main(MixNetElGamalInterface.java:342) | |
Caused by: verificatum.ui.info.InfoException: Error on line: 1 column: 1: Premature end of file. | |
at verificatum.ui.info.InfoParser.parse(InfoParser.java:99) | |
at verificatum.ui.info.RootInfo.parse(RootInfo.java:36) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Traceback (most recent call last): | |
File "build/bdist.linux-x86_64/egg/frestq/protocol.py", line 175, in reserve_task | |
task_output = task.run_action_handler() | |
File "build/bdist.linux-x86_64/egg/frestq/tasks.py", line 286, in run_action_handler | |
return self.action_handler(self) | |
File "./create_election/performer_jobs.py", line 307, in generate_public_key | |
raise TaskError(dict(reason="pubkey already created")) | |
TaskError |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Traceback (most recent call last): | |
File "/home/eorchestra/frestq/frestq/tasks.py", line 1293, in post_task | |
task_output = task.run_action_handler() | |
File "/home/eorchestra/frestq/frestq/tasks.py", line 277, in run_action_handle r | |
return self.action_handler_object.execute() | |
File "./create_election/director_jobs.py", line 64, in execute | |
election.threshold_parties, session_privpath) | |
File "./vmn.py", line 21, in go | |
return func(*args, **kwargs) | |
File "./vmn.py", line 29, in v_gen_protocol_info |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Traceback (most recent call last): | |
File "/home/eorchestra/frestq/frestq/protocol.py", line 175, in reserve_task | |
task_output = task.run_action_handler() | |
File "/home/eorchestra/frestq/frestq/tasks.py", line 278, in run_action_handler | |
return self.action_handler(self) | |
File "./create_election/performer_jobs.py", line 328, in generate_public_key | |
v_gen_public_key(session_privpath, output_filter) | |
File "./vmn.py", line 21, in go | |
return func(*args, **kwargs) | |
File "./vmn.py", line 48, in v_gen_public_key |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{ | |
"q":"¿Cómo puedo votar?", | |
"a":"<p>En tres sencillos pasos:</p><ol><li><strong>Entra en app Podemos:</strong> Accede a la aplicación movil o web de Podemos, e introduce tu clave de acceso.</li><li><strong>Accede a la cabina de votación:</strong> Una vez hayas entrado en la aplicación de Podemos, te aparecerá un botón de votar, pincha y serás redirigido a la cabina de votación.</li><li><strong>Vota:</strong> Responde a las preguntas de la votación. Antes de emitir tu voto, podrás confirmar la respuestas que has elegido y tendrás oportunidad de modificarlas. Una vez hayas hecho esto, podrás confirmar y emitir tu voto.</li></ol>" | |
}, | |
{ | |
"q":"¿Quién puede votar?", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Error: Could not find or load main class vfork.ui.info.InfoTool | |
Traceback (most recent call last): | |
File "/home/eorchestra/venv/local/lib/python2.7/site-packages/frestq/tasks.py", line 1309, in post_task | |
task_output = task.run_action_handler() | |
File "/home/eorchestra/venv/local/lib/python2.7/site-packages/frestq/tasks.py", line 276, in run_action_handler | |
return self.action_handler_object.execute() | |
File "./create_election/director_jobs.py", line 66, in execute | |
election.threshold_parties, session_privpath) | |
File "./vmn.py", line 21, in go | |
return func(*args, **kwargs) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def base(pattern: String) = Stream.continually(util.Random.nextInt(2)) map { case 0 => 'H'; case 1 => 'T' } indexOfSlice(pattern) | |
def hhh = base("HHH") + 3 | |
def hht = base("HHT") + 3 | |
println (Seq.fill(10000)(hhh).foldLeft(0.0)(_+_) / 10000) | |
println (Seq.fill(10000)(hht).foldLeft(0.0)(_+_) / 10000) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
* A typed, purely functional, sequential state machine modeling a cake | |
* | |
* The cake has these states | |
* | |
* Started => Poured => Mixed => Baked | |
* | |
* Shows how to deal with state functionally and how impossible operations | |
* are compile time errors rather than runtime errors. | |
* |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import verificatum.eio.ByteTree; | |
import verificatum.eio.ByteTreeBasic; | |
import verificatum.eio.ByteTreeReader; | |
import verificatum.arithm.ModPGroup; | |
import verificatum.arithm.PGroup; | |
import verificatum.arithm.PGroupElement; | |
import verificatum.arithm.PGroupElementArray; | |
import verificatum.arithm.PPGroup; | |
import verificatum.arithm.PPGroupElement; | |
import verificatum.arithm.PRing; |