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.