Pinned Repositories
FStar
A Proof-oriented Programming Language
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
moon-bot
mpyc
MPyC for Secure Multiparty Computation in Python
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
plonk
A pure Rust PLONK implementation using arkworks as a backend.
markulf's Repositories
markulf/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
markulf/bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
markulf/moon-bot
markulf/mpyc
MPyC for Secure Multiparty Computation in Python
markulf/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
markulf/sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
markulf/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!