Adrià Massanet

Now

Decentralized security-related-works

ZK Research engineer in Hermez & Vocdoni: solidity, go, rust, eg:
- Za! is an experimental port of the circom zk-SNARK compiler with embedded bellman-bn128 prover (rust)
- Voting rollup a simple zk-rollup for voting using storage proofs
- Halo2 anonymizer circuit
Core ethereum developer (parity/openethereum in Gnosis)
Audits: AragonOS and MakerDAO, circuits & smartcontract code reviews for the Hermez Rollup. Also for Status, Streamr, STOX, Sharpe Capital, OilCoin, Dragoneremum, FortKnoxter, Lamden, ZeroCarbonProject, ZMine, ZeusShieldCoin and others
Member of the White Hat Group
Giveth contributor.

Personal projects

Kuska a secure scuttlebutt async-std libraries and server (rust)
Tesseracts a minimal block explorer for clique chains (rust)
go-ipfsc an ENS based IPFS-pinner (go)
solrsaverify PKCS#1 RSA verification library (solidity)
Kvartalo a barcelona local social cryptocurrency burner wallet for neigbourhoods
Slides of my talks and other docs

Education

Bachelor of Computer Science. The final project is NoFeud a PoC of Google chrome plugin for a distributed secret message sharing scheme among social networks.
Ethereum, Quorum & Hyperledger B9Lab developer courses.
NLP Master Practitioner & Trainers Trainer. Master in mindfullness (mainly MSBT, MSBR). Also generative and eriksonian hipnosis.

Centralized security-related works

Security design of an IoT smart lock.
Architecture & dev of CC EAL4+ Virtual smartcard for Qualified signatures.
Development of cryptographic key management middleware on embeddable microcontrollers and cryptographic drivers (win/linux).
Secure mobile bank transaction authorization App.
Technical product design for a Forensics-readiness tool.
Dev & design of security-as-a-service middleware for AdES qualified s-signatures.
Dev & PKI operations design for webtrust CA.
Dev for Enterprise Single Sign On solution.
Dev for EAL4+ PKI crypto suite.

Contact