Skip to content

Instantly share code, notes, and snippets.

View ruescasd's full-sized avatar

David Ruescas ruescasd

  • Sequent
View GitHub Profile
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)
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)
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
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
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
[
{
"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?",
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)
@ruescasd
ruescasd / hhhhht.scala
Created October 30, 2012 19:55
HHH, HHT
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)
/*
* 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.
*
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;