Veridise
Users following Veridise
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Muhammad Khattak
momo-ai
https://open.spotify.com/track/3rEkgHocUFNhVB3b7arnTf?si=4ebd535433814e19
Cardinal Gray, Inc.
Ben Sepanski
benSepanski
Coding at Veridise! Former MSCS at UTCS and undergraduate math student at Baylor University.
@Veridise Austin, TX
log{e}
logere
What does when mean?
Rust, C++, Go Developer. ZK Engineer @QEDProtocol, @PsyProtocol
QEDProtocol, PsyProtocol Kowloon
İzzet Emre Demir
izzetemredemir
Working on ZK, Blockchain, and AI agents | Building at @First-Point
FirstPoint Türkiye
Sachin D Agrawal
sachindkagrawal15
Rust developer passionate about web3, blockchain, ZKP and wasm.
Exploring ZKP, zkEVM, Programmable Cryptography, Ethereum, Solana, Polkadot
Gavin Zheng
gavinzheng
Enthusiastic in BlockChain Technology.
Full stack developer in Solidity programming, IPFS, ZKP, MPC，NFT, Rust, substrate, Quantitative Finance.白话区块链作者
Toronto, Canada
Marquivion Orr
Marqui-13
software engineer with expertise in various fields including blockchain, web3, AI, full-stack development, creative development, cryptography, and quantum
GoquLabs IA, United States
PreviousNext