tobias-rothmann
Follow
-
-
-
Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
-
Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.
Isabelle UpdatedJan 14, 2025 -
-
An essay on the recent paper by Fleischhacker, Hall-Andersen, and Simkin
UpdatedAug 14, 2024 -
MP-SPDZ-MACI Public
Forked from data61/MP-SPDZVersatile framework for multi-party computation
-
A SoK student paper on SMT based formal verification of smart contracts
UpdatedApr 19, 2024 -
plonkathon Public
Forked from 0xPARC/plonkathoneducational python plonk implementation, based on vitalik's py_plonk
Python UpdatedJan 7, 2024 -
-
-
Challenge_Response_Kiosk Public
Extending SUI's Kiosk for a challenge response protocol
-
ElGamal-Commitment-Scheme Public
Formalizing the ElGamal Encryption as a Commitment Scheme
-
rustlings-solutions Public
My solutions for rustlings, on my way to learn rust :)
Rust MIT License UpdatedJul 21, 2023 -
pumping_lemma Public
Formalized the pumping lemma for regular languages in Isabelle/HOL (October 2022) as an exercise.
Isabelle UpdatedMar 25, 2023 -
-