Cryptography Researcher | Math PhD @UNL-FCT |
MSc in Pure Maths @ImperialCollegeLondon
- Lisbon
- in/jfdreis
-
lambdaworks Public
Forked from lambdaclass/lambdaworkslambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Rust Apache License 2.0 UpdatedDec 2, 2025 -
-
cggmp21 Public
Forked from LFDT-Lockness/cggmp21State-of-art threshold ECDSA in Rust
Rust Apache License 2.0 UpdatedOct 12, 2025 -
-
-
-
-
paillier-zk Public
Forked from LFDT-Lockness/paillier-zkZero-knoledge proofs of some paillier cryptosystem properties for use in CGGMP21
Rust Apache License 2.0 UpdatedOct 17, 2024 -
ZK_hack_puzzles Public
The main aim of this is to solve some puzzles from https://zkhack.dev/puzzles/
UpdatedNov 21, 2023 -
Crypto_challenges Public
Here I am going to solve some Cryptopals crypto challenges: https://cryptopals.com/
Rust UpdatedOct 31, 2023 -
learning_rust Public
Here I am going to solve some exercises to gain familiarity with Rust
Rust UpdatedSep 24, 2023 -