Securing onchain
Security Researcher
Highlights
- Pro
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Georgios Konstantopoulos
gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz
@paradigmxyz Thessaloniki, Greece
ZippelLabs
ZippelLabs
Research and Development in Applied Cryptography: Helping secure Web3 privacy and scaling protocols via security research and audits.
ZisK
0xPolygonHermez
ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust