portrait pending
Cecilia Mulandi
- pgp
- {{fingerprint}}
0xSubRosa
Open research for private, verifiable systems.
- Investors
- Gatekeeping
- Closed research
- Tracking
- Cookies
0xSubRosa is an independent research group working on zero knowledge proofs, post-quantum cryptography, the formal verification of cryptographic systems, and distributed systems. We write papers, release open-source code, and work with protocols to take these ideas from research into production.
We believe privacy is a human right, and that it should be normal on the internet. We take on open problems in zero knowledge and cryptography, and we build production systems that make private use the default. 0xSubRosa takes funding only from grants and donations.
Verify this page
Your browser hashes the file it just received and compares the result with the hash we published. If someone altered this page on the way to you, they will not match.
SHA-256 of the file you received
Published hash (a.html.sha256)
Checking…
“Cypherpunks write code.”
Ours is on GitHub, linked from each profile below.
Research agenda
Three areas we are reading into. We have not picked the first one yet.
post-quantum
What does a hash based signature cost to verify inside a CKB lock script? PLACEHOLDER
exploringformal verification
Can we prove that a ZK toolchain keeps the privacy a developer declared? PLACEHOLDER
exploringidentity
How do credentials stay unlinkable across verifiers on a cell based chain? PLACEHOLDER
exploringMembers
Cecilia Mulandi, Lynette Mwangi and Xiaomao. Write to any of us directly.
portrait pending
Lynette Mwangi
- pgp
- {{fingerprint}}
portrait pending
Xiaomao
- pgp
- {{fingerprint}}
Fund or collaborate
If your protocol has an open problem in zero knowledge, tell us about it. Grants are paid into a 2 of 3 multisig that anyone can inspect.
multisig
{{address, once it exists}}
Join
We take residents one project at a time. You keep your job and your affiliations, and you are a co-author on whatever you help write.