Bence Sooki-Toth

Research @ Eötvös Loránd University

CURRENT FOCUS

• zero knowledge cryptography
• formal software verification

CURRENT HOBBIES

• bouldering
• card games

PROJECTS & PUBLICATIONS

- Blockchain related

• Bribers, Bribers on The Chain, Is Resisting All in Vain?: trustless consensus manipulation through bribing contracts, paper for FC'26
• Kalah foundation: a permissionless competitive kalah platform

- Quantum Computing

• Contribution to various quantum computing libraries during unitaryHACK 2025, such as ldpc, rustworkx, and quizx
• Permanent boost: calculates the permanent function about 100% faster than previous state of the art implementations
• QCS: quantum circuit simulator written in C++
• QCBM: implementation of the Differentiable learning of quantum circuit Born machines paper
• Steane: quantum error correction using code concatenation and the Steane code

PAST FOCUS

• blockchain consensus attacks
• differential equations & dynamical systems
• smart contracts
• functional programming