
Veridise
@veridiseinc
Hardening blockchain security with Formal Methods โ Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
ID: 1503425787998789632
https://www.veridise.com/ 14-03-2022 17:40:43
1,1K Tweet
4,4K Followers
439 Following

zooko๐ก๐ฆ๐ฆ๐ฆ โฉ
@zooko
Freedom maximalist. Good vibes only.
obront | eth/acc
@zachobront
cofounder @etherealize_io // prev @scribemediaco
Kobi Gurkan
@kobigurk
applied crypto, security, experimental things head of research @BainCapCrypto
abcoathup.eth ๐ก ๐ก๏ธ๐ฆ๐
@abcoathup
Former editor: @WeekInEthNews GitHub: github.com/abcoathup Creator: @BlockHorses father + autistic + #vegan he/him House Ethereum pfp: @texturepunx
Tarun Chitra
@tarunchitra
ใฝ(โโ _โ )ใโชโฌ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris
Shiv Shankar โจ
@ssh_nkar
Prove Fast, Build Better @RiscZero + @boundless_xyz formerly, @AvaLabsOfficial @Coinbase @lyft @amazon @GrabSG @lookout @Microsoft @mosync views are my own.
Mudit Gupta
@mudit__gupta
CISO @0xPolygon Labs | co-founder @deq_fi | Tech @Deltabc_fund | Blockchain Security Researcher | Ethereum & Web3 dev | Advisor & Angel Investor ๐ฆ๐
Rami โจ๏ธ
@hashcashier
Yet another person.
Jeffrey Scholz
@jeyffre
Building the graduate school of blockchain engineering @rareskills_io | ZK Book: rareskills.io/zk-book
Barron
@barroncaster
building ZK privacy tech @demoxlabs. talk about building/growing products and leading teams to 9 figures in revenue @rev
Scott Sunarto
@smsunarto
founder @ArgusLabs_, vibin' @egirl_capital, (traumatized by) distributed systems, prev @Berkeley_EECS
Wizard Glacier
@icerdesign
Web3 builder. Chief Architect of @pawket_app and @ChiaNameService. Currently working on ZK projects. zkshanghai.xyz and plonk.pro
vitalik.eth
@vitalikbuterin
I choose balance. First-level balance. mi pinxe lo crino tcati slatestarcodex.com/2018/09/12/in-โฆ
sassal.eth/acc ๐ฆ๐
@sassal0x
Independent Ethereum educator, angel investor and advisor. Founder of @thedailygwei โฝ Farcaster: warpcast.com/sassal.eth
David Wong
@cryptodavidw
security @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
Trust
@trust__90
Head of Trust Security, DM for booking | Master of hand-to-hand audit combat | C4/Immunefi/Sherlock VIP | Hacked Embedded, IoT, iOS in past life
clemlaflemme.stark ๐ฅ
@clementwalter
Engineer & Scientist & Farmer ๐ฅ Co-founder @KakarotZkEvm ๐ฅ DM open
Toghrul Maharramov ๐บ๐ฆ
@toghrulmaharram
rollup sorcerer @fluentxyz
Real World Crypto
@realworldcrypto
The official Real World Cryptography Twitter feed. Follow us for news of upcoming events.
Stellar
@stellarorg
Stellar is a network for innovators building real-world blockchain solutions that create financial access for everyone.
samczsun
@samczsun
founder @_SEAL_Org, (future) advisor @paradigm. art by @Keiseeaaa/@vincywp emergency help: t.me/seal_911_bot code4rena.com/@samczsun
Alex Pruden
@apruden08
CEO Project11 @qdayclock, Chairman @aleoHQ, Contributor @zeroknowledgefm, Founder @z_prize; Former @a16zcrypto, @coinbase, @standfordGSB, and green hat @USArmy
Zeeve๐บ
@0xzeeve
Launch Your Own ๐บAvalanche L1 in Minutes with Cogitus. Cogitus๐บshorturl.at/oUXwm Build With Arbitrum Orbit, ZKsync ZK Stack, OP Stack, Cosmos, etc
@bytes032.xyz
@bytes032
chief smart contract security cook @zenith256 tg: t.me/bytes_032
anke.xlm
@anke_g_liu
#StellarCommunityFund @StellarOrg ๐ช #GrantInnovationLab @metagov_project ๐
Savio
@savio_sou_
Catholic, Product Manager of @NoirLang. Tweets about ZK, privacy, and Web3.
Monad โจ
@monad_xyz
Layer 1 blockchain bringing parallel execution to the EVM || 10,000 TPS || account run by Monad Foundation - Monad Testnet is live: testnet.monad.xyz
foobar/
@0xfoobar
Founder @selvlabs
kashvi
@kashvieth
networks, narratives & knowing whatโs next ๐๐โ๏ธ / member: @safaryclub @berabaddies @shefiorg / community lead @risczero & @boundless_xyz
Andy Li
@andyfeili
breaking code, learning math, security engineer @sigp_io
Iryna ๐๐ค
@irynacheck
Events at @goatrollup | @MetisFest | @houseofzk | @zk_hub_global | Trust the process
Ariel Gabizon
@rel_zeta_tech
Chief Scientist at @aztecnetwork. Personal views at @relgabizon.
pia
@0xpiapark
i obfuscate rust program for living
John Guibas
@jtguibas
co-founder @succinctlabs - we're hiring! prev @stanford @thielfellowship.
DAC Economy
@daceconomy
๐ฟ๐ผ๐พ ๐๐๐ค๐ฃ๐ค๐ข๐ฎ ๐๐จ ๐ฉ๐๐ ๐ฌ๐๐ฎ. Manifesto: tinyurl.com/DacManifesto White Paper: tinyurl.com/DacWhitePaper RPM Light Paper: tinyurl.com/RPMltppr
Ghan Vashishtha
@ghanvashishtha
Crazy Innovator helping Startups and Enterprises find peace with Blockchain DevOps, dApp deployments, solutions and to have the power to deploy within minutes.
Jeremy Bruestle
@bruestlejeremy
CEO and co-founder @RISCZero
Aleo Community
@aleocommunity
@AleoHQ Community Twitter | Mainnet is here!
LAGRANGE
@lagrangedev
Prove everything, trust nothing. Lagrange is the infinite proving layer.
pashov
@pashovkrum
Security audits @PashovAuditGrp Angel investing @PashovCapital
RareSkills
@rareskills_io
ZK: rareskills.io/zk-bootcamp @base x RareSkills Bootcamp: based.deform.cc/token-standardโฆ Hiring or looking for a job? @RareTalent_xyz
Tim ๐ฆ (ร,G)
@xor0v0
Cryptography Security enthusiast CTFer and zkHACKer๏ฝbug hunter @code4rena
Snarkify
@snarkify_zkp
Unlocking real-time proving for Ethereum and every other chain.
Jacob Everly โจ
@0xeverly
@RiscZero, Product Lead for @boundless_xyz l Prev @avalabs @Cornell l ZK admirer l My own thoughts that will probably change
Linea.eth
@lineabuild
Linea is the home network for the world. We are the Ethereum L2 empowering the world to live onchain.
Build on Stellar
@buildonstellar
Build the future of DeFi on @StellarOrg linktr.ee/buildonstellar
Zeko Labs
@zekolabs
Building Zeko, a decentralized zero-knowledge scaling protocol powering the future of the Internet, AI, Gaming, & Finance. Testnet: zeko.io/faucet/
Fhenix
@fhenixio
Fhenix is an FHE research and development company building scalable, real-world applications of Fully Homomorphic Encryption
AlphaSwap | Private DEX on Aleo
@alphaswap_dex
AlphaSwap (previously AleoSwap) offers private, secure, and smooth trading experience on the Aleo blockchain. Community: discord.gg/J55JReFSmR
NovaNet
@novanet_zkp
Bringing zk to the edge โ on-device proofs for privacy, aggregation & parallelization. linktr.ee/novanet_zkp #runawayZK
House of ZK
@houseofzk
The Home of Zero-Knowledge Media | Global Events: @ZK_Hub_Global | HoZK Linktree: linktr.ee/hozk
Hibachi
@hibachi_xyz
The first provable exchange. Built for pro traders, secured by zk math. Start trading: hibachi.xyz | linktr.ee/hibachi.xyz
ink
@inkonchain
Ink the future โ๏ธ. Unleashed by Kraken. Built on the Superchain.
zk V e r i f y
@zkvprotocol
The most efficient modular layer optimized to verify zk proofs. Developed by @HorizenLabs
Ligero Inc.
@ligero_inc
Zero-Knowledge Anywhere Everywhere
AstroMina
@astrominaorg
Lightest way to collaborate, contribute and get rewarded. Join us: discord.com/invite/pNafn2Vโฆ
Smoo.th โซ๏ธโช๏ธ
@smoo__th
It's just a button.
Lombard | LBTC
@lombard_finance
Lombard is connecting Bitcoin to every chain, DeFi protocol and yield opportunity with LBTCโthe leading Bitcoin LST.
Pondo
@pondoprotocol
Liquid staking for @AleoHQ. Stake $ALEO, earn rewards with $pALEO & $PNDO. No lock-ups, no governance. Join Phil's Pond: discord.gg/Pondo
Fermah
@fermah_xyz
The universal proof market
Lita
@0xlita
Innovate in cryptography, HPC, and consumer experiences
Boundless
@boundless_xyz
The universal ZK protocol - home of berryfiable compute by @risczero
Ethproofs
@eth_proofs
L2beat of zkVMs. Ethereum SNARKification, accelerated.
Georgios Konstantopoulos
@gakonst
very greek accent. general partner & cto @paradigm. ceo @ithacaxyz. optimist and rustacean ๐ฆ // team lead of reth, foundry, alloy. join us.
dcbuilder.eth โช๏ธ
@dcbuild3r
๐ช๐บ๐จ๐ฟ๐จ๐บ. math. Ethereum. ZK. Rust. @worldcoinfnd. accelerating @worldcoin. World Chainโช๏ธ. angeling in friends. Hopeful about humanity.๐ฆ
Eli Ben-Sasson
@elibensasson
CEO Co-Founder @StarkWareLtd | Integrity Matters, opinions my own. Co-Inventor: zkSTARK, FRI, Zcash
hww.eth | Hsiao-Wei Wang
@hwwonx
work for @ethereum at @ethereumfndn | warpcast.com/hww
Stani.eth
@stanikulechov
@Avara (@Aave @LC @Family)
StarkWare ๐บ๐ฑ
@starkwareltd
Trailblazing the way to infinite scale
Clayton โบ๏ธ
@tokenarchitect
Bullish for Risk Labs, the foundation behind the @UMAprotocol optimistic oracle & @AcrossProtocol intents-based bridge.