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
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
Lion - dapplion
dapplion
Eth2.0 core dev at Lighthouse @sigp_io | merge coordinator @gnosischain | former Lodestar @chainsafeth | og dev at @dappnode #Ethereum
@sigp Ethereum