Pascal Berrang is a cryptography-focused technology leader with a decade of engineering experience who now serves as Co-Founder & CTO of Zeroth Research and an Associate Professor driving a funded program on privacy-preserving AI safety verification. He combines academic rigor with product-minded engineering—applying zero-knowledge proofs and formal cryptographic techniques to make intelligent systems verifiable and safe. As an early contributor and current board member at Nimiq, he bridges blockchain research and real-world deployment, while his consulting work has delivered threat modelling, ISO 27001-aligned security programs, and privacy tooling like OpenRedact. On GitHub he has deep hands-on experience improving serialization, derive macros, and performance in foundational cryptographic crates such as arkworks-rs/algebra and snark, which underpin many ZK systems. Based in Saarland, Germany, he uniquely blends research leadership, open-source cryptographic engineering, and startup execution. Colleagues describe him as someone who turns formal math into practical, auditable security controls.
Interfaces for Relations and SNARKs for these relations
Role in this project:
Back-end Developer
Contributions:18 commits, 7 PRs, 62 comments in 1 month
Contributions summary:Pascal focused on improving the serialization and deserialization capabilities within the `arkworks-rs/snark` repository. They implemented and improved `CanonicalSerialize` and `CanonicalDeserialize` traits, including the addition of flags and derive macros. Furthermore, the user introduced optimizations to improve serialization size and performance. These changes are primarily related to the `algebra-core` module, which is foundational for the project's cryptographic operations.
Libraries for finite field, elliptic curve, and polynomial arithmetic
Role in this project:
Back-end Developer
Contributions:15 commits, 1 PR, 2 comments in 1 month
Contributions summary:Pascal focused on implementing improvements to the serialization and deserialization capabilities within the `algebra` crate, specifically targeting the `algebra-core` module. Their work involved refactoring existing code for performance gains and adding new features, such as support for serialization and deserialization of tuples and constant serialized sizes. These changes improved code readability, and the addition of derive macros streamlined the serialization/deserialization process for various data structures within the `algebra` crate.
cryptographyarithmeticrustfinite-fieldselliptic
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.