The goal of PeaceFounder is to explore the feasibility of a publically verifiable software-independent voting system where votes are signed in plaintext with braided pseudonyms. I propose using one mix at a time, dropping the usual ceremonial secret commitments and propose a bulletin board implementation using Merkle tree inclusion and consistency proofs to guarantee the immutability and persistence of the ballot box ledger just by having some honest clients which periodically download the proofs.
This is a full-stack project with a total of 15k lines of Julia code. Following NIST specification, I have reimplemented cryptographic groups and signatures and reimplemented from a research paper a Verificatum compatible verifier and prover for zero-knowledge proofs of shuffle. The server's backend exposes REST API over HTTP using JSON for communication. The client is made with QML and bridged with the client's backend.
My PhD thesis
My PhD thesis explores properties of superconducting nanostructures at cold tempertures in different settings with different manifestations of topology in their superconducting phase. In the result working with my supervisour and a postdoc I have published four peer reviewed papers and supervised one master student. Apart from doing Taylor expansions, setting up hamiltoninian, diagonalizing, simulating time evolution of a quantum system with Schrodingers equation or solving stochastic differential equations and using PBS cluster with 200 cores at one point are some of the things I did as a part of my PhD using Julia
Magnetic micro-droplet in rotating field
A small magnetic droplet is suspended on a petry dish and a fast rotating magnetic field is turned on. An equilibrium of the magnetization force with a surface tension forms exhibiting rich range of shapes observed experimentally. To test the hypothesis I built a computer simulation in Julia and designed the numerical metdhod from scratch travesring all surface triangles to calculate surface force at every node to evolve the surface into equilibrium where I wraped C++ ElTopo library to adaptivelly refine the surface mesh. ssh and tmux was indespensable to leave my simulations runing on my university's workstation for days.
Electron on-demand emission
At a nanoscale in Helium boiling temperatures and large magnetic fields an electron for few centimeters flows just like photons on optical fibers coherently. This enables to envision an electron interferometer experiment on a solid state device and thus question on the prepereations of a electron quantum state becomes important. In this project I derived and using python computed the reesulting state of an electron emitted from a electric field veil lowering one of it's barriers.