Veridise | We are hiring @VeridiseInc
Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge. Follow us for blockchain security education and the latest news. veridise.com Joined March 2022-
Tweets1K
-
Followers3K
-
Following350
-
Likes1K
Kobi Gurkan @kobigurk
9K Followers 2K Following kobi.eth. applied crypto, security, experimental things. head of research @__geometrydev__, puzzler @__zkhack__, @zkpodai, validating @zkv_xyz, @cLabs
Scott Sunarto ◢ ✦.. @smsunarto
21K Followers 3K Following founder @ArgusLabs_ @WorldEngineGG, larp @egirl_capital, distributed systems, minji stan account, prev: @trailofbits, @darkforest_eth, @Berkeley_EECS '22
dcbuilder.eth ⚪️ @DCbuild3r
34K Followers 3K Following 22. 🇨🇿🇨🇺. math. Ethereum. ZKML. Rust. @worldcoinfnd. accelerating @worldcoin. World Chain⚪️. angeling in friends. Hopeful about humanity.🦇🔊🦀🛡
Federico Carrone @federicocarrone
7K Followers 4K Following talk is cheap, build @class_lambda C + rust + erlang + julia + λ. amateur in everything: distributed systems, ML, compilers, cryptography and investment.
Tarun Chitra @tarunchitra
60K Followers 5K Following ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris
David Wong @cryptodavidw
13K Followers 3K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroup
Roman @romanboehr
2K Followers 3K Following Building & breaking stuff on the blockchain. Prev. data engineering / backend dev, data science MSc @ETH. Trail running in the alps when not staring at a screen
gmhacker.eth @realgmhacker
4K Followers 460 Following aerospace engineer 🚀 Head of Security @immunefi 🪲 Teaching Advanced Solidity at @RareSkills_io 😎 views are my own
andyguzman.eth 🦇�.. @AndyGuzmanEth
1K Followers 1K Following 0s, 1s & ∞. Talking about Ethereum, Zero Knowledge, Staking & Latam communities. Product/Projects at @PrivacyScaling/@Ethereum. Member at @EthereumCR & @ETHKipu
Andrew Miller @socrates1024
20K Followers 3K Following 🛡️ UIUC • SUAVE • Cycles https://t.co/uT4qFVcVFN https://t.co/ybnVCbpEeX
Yisus mendez @Yisus2_7182
642 Followers 5K Following I don't know how to exit vi. Just curious about that, and that, and that.
palm @normanipoweerr
144 Followers 184 Following
Picklo @Picklo13
0 Followers 1 Following
Chefshoulders @tunnessa79994
11 Followers 123 Following
King @IsaacAc92868885
22 Followers 686 Following
Girasol 28 @goldengirasoll
11 Followers 36 Following
tar rek @tarrek105064
0 Followers 25 Following
Liam @Daviddlape
5 Followers 67 Following
TK-ChickenBurger @bannkuboooo
4 Followers 65 Following God|Family|NFTs|Crypto|Elevators|VaKay|Bear my doggo|Live free or die| woopwoop.sol d3drejects.sol |#bohemia#deadrejects #funguyz#stonedfrogs#deadcets #dopecats
fouas @sefrou_maroc
15 Followers 210 Following
Billy Huba @BillyHuba40995
78 Followers 5K Following
Nukri @Nukri_Super
576 Followers 1K Following my Kids: Love : Self Sovereign AI : Space Identity & State : PhD Nuclear Physics : 🇬🇪 & 🇺🇦 & 🇺🇸 @super__protocol
Frank Yan @yantao
137 Followers 1K Following Full Stack Software Engineer specializing in Web and Blockchain Technologies.
Sarge Rogatch @SoftwareCompre1
59 Followers 429 Following
Bari Ayoub @Ha563110
1 Followers 15 Following
Mejdi Sakka @SakkaMejdi
2 Followers 28 Following
.NYAN🔫😼 @Alexand23533834
4 Followers 48 Following "Certified Ape 🤠 || @degods, @thugbirdz, BTFD, Fren 🚀🌕💸"
Nick Sanschagrin @NickSanschagrin
2K Followers 4K Following Ecosystem Growth @SindriLabs | https://t.co/6MIR5iKiYk | #ZK | #ZKP | #ZeroKnowledge | #Blockchain | #Web3 | #DeFi | #Crypto | #NFT | https://t.co/PMagGRAI3u
Vishal Potpelliwar @v_potpelliwar
19 Followers 128 Following
Jolina Estillore @EstilloreJolina
7 Followers 57 Following
Shoriful-islam @shorifyt5150
15 Followers 218 Following
Samir Thakuri @samirmalla29
34 Followers 109 Following
Sheikhblogs2060 @sheikh_2060
1 Followers 131 Following #To be a good person 🇳🇵🇳🇵🇳🇵🇳🇵🇳🇵🇳🇵🇳🇵🇳🇵®️ MY YOUTUBE CHANNEL LINK :-⤵️⤵️⬇️⬇️
Gustavo Martins @gustavomar123
71 Followers 329 Following Crypto Influencer Gaw viciado em nft amante I live in Brazil
CryptoCorgiiiii @CryptoCorgiiiii
52 Followers 573 Following
Laxman Badal @BadalLaxma48396
1 Followers 9 Following
🇧🇷 Nadia Olivei.. @nadia_oliveir
417 Followers 174 Following 🖤 Meet my NFTs: https://t.co/EylyDg57u9 🖤 Games Content Creator and Art Creator 🖤 Email: [email protected]
Burton Lancelot @BurtonLancelot1
316 Followers 993 Following 💯 FOLLOW BACK Advisor/Community Manager enquires please DM.
Susanne Manney @ManneySusann
87 Followers 5K Following
Júlio GA @ticoyt7
34 Followers 223 Following sou curioso, introvertido, gosto de novas experiências!
Foreskin.NFTs @foreskinnftss
13 Followers 113 Following NFT Enthusias - Full Time Degen - I'm Just an Ordinary Civilian
leonscott @leonscott110
12 Followers 37 Following
Maria Zubin @Mariazubin28
24 Followers 107 Following
Lane @shuutula
4 Followers 191 Following
CJNG504 @CJNG504
2 Followers 11 Following
rafal @rafalhehe
459 Followers 196 Following writing about zero-knowledge proofs and blockchain infra
BlockchainThor @torohThor
9 Followers 36 Following Helping the next big project moon. Building a $10k/month web3 marketing agency.
Georgios Konstantopou.. @gakonst
108K Followers 2K Following very greek accent. cto & research partner @paradigm. optimist and rustacean 🦀 // team lead of reth, foundry, alloy. join us.
samczsun @samczsun
143K Followers 203 Following hunter @paradigm, powered by @openai. art by @Keiseeaaa,@vincywp. reach out via telegram https://t.co/1IDOUbRX6v
Kobi Gurkan @kobigurk
9K Followers 2K Following kobi.eth. applied crypto, security, experimental things. head of research @__geometrydev__, puzzler @__zkhack__, @zkpodai, validating @zkv_xyz, @cLabs
Scott Sunarto ◢ ✦.. @smsunarto
21K Followers 3K Following founder @ArgusLabs_ @WorldEngineGG, larp @egirl_capital, distributed systems, minji stan account, prev: @trailofbits, @darkforest_eth, @Berkeley_EECS '22
dcbuilder.eth ⚪️ @DCbuild3r
34K Followers 3K Following 22. 🇨🇿🇨🇺. math. Ethereum. ZKML. Rust. @worldcoinfnd. accelerating @worldcoin. World Chain⚪️. angeling in friends. Hopeful about humanity.🦇🔊🦀🛡
Tarun Chitra @tarunchitra
60K Followers 5K Following ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris
@bytes032.xyz @bytes032
16K Followers 867 Following IYKYK @code4rena, 1/4 of @RenascenceLabs | Connecting you with 100's security providers for free @FindAudit
Toghrul Maharramov �.. @toghrulmaharram
15K Followers 332 Following @Scroll_ZKP contributor; vibes officer @L2DAYSxyz; perpetual intern @trustminimized
Eli Ben-Sasson @EliBenSasson
35K Followers 524 Following Co-Founder CEO @StarkWareLtd | Co-Inventor STARK FRI Zerocash | Integrity by Math and other memes
Trust @trust__90
14K Followers 454 Following 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
David Wong @cryptodavidw
13K Followers 3K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroup
Mudit Gupta @Mudit__Gupta
64K Followers 1K Following CISO @0xPolygon labs | Tech @Deltabc_fund | Blockchain Security Researcher | Ethereum & Web3 dev | Advisor & Angel Investor | Opinions are my own 🦇🔊
Andy Li @andyfeili
7K Followers 273 Following Finding bugs in Smart Contracts 🔎 | Podcast Host 🎙️ | Security Engineer @sigp_io σ'
sassal.eth/acc 🦇�.. @sassal0x
252K Followers 1K Following Independent Ethereum educator, angel investor and advisor. Founder of @thedailygwei ⛽ Follow me on Farcaster: https://t.co/MVK4xfPScc
Ingonyama @Ingo_zk
8K Followers 109 Following Redefining ZK Hardware Acceleration from Software to Silicon 🧊🔥 // Curious about ICICLE? Talk to us at [email protected]
Edgeless Network @EdgelessNetwork
2K Followers 0 Following The Future is Edgeless. We are the first ever crypto ecosystem without application layer fees. https://t.co/v89WNCCR3u
Phoenix DeFi Hub @PhoenixDeFiHub
1K Followers 41 Following Phoenix is pioneering the ultimate DeFi Hub for @StellarOrg’s vibrant ecosystem | Built on @SorobanOfficial
Sergito @sergitosergito
50K Followers 5K Following Building @popsetxyz. Member: @punkventuresdao @neon_dao @metropolis_dao. Ex: @goldmansachs, @fireblockshq. 🇲🇽
josh crites @critesjosh_
1K Followers 665 Following spreading crypto 🌱 🦇🔊 protecting privacy 🥸 increasing sovereignty 🛡️ @aztecnetwork, @bankofjubjub, previously @celoorg, @ConsenSysAcad
mskerri.loopring.eth @MsKerriishere
3K Followers 3K Following 🏴☠️ GameStop January 2021. We will find you in the 🐇🕳. GME ETH LRC IMX Taiko #PowerToTheInvestors HD punk Protocol Gemini 🗝 Kagy fangirl.
Thomas Mattimore (tma.. @mattimost
3K Followers 2K Following https://t.co/V6QRNBO6qY | Building in @ReserveProtocol Ecosystem | relentless optimism | 🦇🔊
Neeraj K. Agrawal @NeerajKA
155K Followers 3K Following comms @coincenter—the cryptocurrency policy think tank | [email protected] | food account/retirement pasture: @neerajkafood
Kritarth Agrawal @KritarthAgrawal
669 Followers 415 Following Co-founder & CTO @airchains_io | Sneakerhead 👟 | Drummer🥁
Stella 1K @StellaZhou1K
279 Followers 852 Following Building community & devrel @ola_zkzkvm｜Set the pace, embrace the chase | Let's explore when and how to use utilize #zk in our tech journey!
Max Sultakov @0xMaSu
129 Followers 344 Following Building blockchain & ZK tech at @polynom_labs | @moverxyz & @arcane_finance co-founder | Over 7 years in blockchain space | Tweets are my own.
Ankur Rakhi Sinha @ankur_rakhi
412 Followers 996 Following Simplifying Blockchain | Building @airchains_io | Bridging to #Web3
Michael Lee ∎ @CashBowie
70K Followers 5K Following crypto + games. down the cypherpunk + zk tech 🐇 🕳️ @zksync. formerly @activision @blizzard_ent
Fman @feynyman
702 Followers 1K Following research @mirana | investing @valhallafund | MIT//Stanford//midcel | interested in all things ai, zk | opinions my own
Lakshya A Agrawal @LakshyAAAgrawal
271 Followers 2K Following #GenAI AI4Code Research Fellow @MSFTResearch | Past: SWE Intern @Microsoft, Summer @EPFL Scholar, CS and Applied Maths @IIITDelhi | Hobbyist Saxophonist
Hack VC @hack__vc
911 Followers 94 Following Hack VC is a web3 venture capital firm. We partner on- and off-chain with hackers building the future of the internet.
AriannaSimpson.eth @AriannaSimpson
116K Followers 4K Following General Partner @a16z investing in web3. founder @ Autonomous Partners. into crypto before it was cool.
antiprosynthesis.eth .. @antiprosynth
68K Followers 4K Following #Ethereum ⟠ $ETH softcore developer, news aggregator and information asymmetry fighter. 🐬🔊
cryptogm.eth🦇🔊 @thembani_tmb
2K Followers 4K Following Smart contract researcher Solidity, Viper, Nodejs, Foundry https://t.co/AdG8qkg3Ci crypto trends & narratives #btc #eth #shardeum #eclipse #monad
Sam Padilla @theSamPadilla
5K Followers 981 Following 🇨🇴 Web3 PM & Node Ops @GoogleCloud, Contributor @ATXDAO, Co-Host @inter4pod • I tweet about philosophy, tech, economics and politics • Opinions are my own.
joseph.eth @josephdelong
71K Followers 1K Following CTO @AstariaXYZ, Former CTO https://t.co/joGhjflDCs🍣, Former @ethereum Core Dev @ConsenSys Follow me on Warpcast https://t.co/G281F0po3i
nixo.eth 🦇🔊 @nixorokish
2K Followers 512 Following executive director @ethstaker // decentralization / diversity / open source maxi // warpcast dot com/nixo
MariusVanDerWijden @vdWijden
17K Followers 453 Following Developer @Ethereum, working on @go_ethereum, Farcaster: @vdwijden
soispoke.eth @soispoke
3K Followers 781 Following research @ethereum, Robust Incentives Group Formerly Data Sci. @DuneAnalytics PhD in Neuroscience 🧠 of Decision-Making 💢 AI 🤖/ Machine Learning 🔔
Felix Hildebrandt @voulex
2K Followers 319 Following 👨💻 dev, nodes, and community @lukso_io, ⚡️ prev @slockitproject, 📚 SBTs, AA, Web3 socials, ⛓️ fhildeb {.eth | .lens } , 🗞️ https://t.co/nYR8WqiQI1
jameshe.eth🦇🔊 @jameshe_eth
663 Followers 736 Following Ethereum Core Dev @offchainlabs 🏗️ @prylabs . pre-{ @jpmorgan, @0xETHChicago } **opinions are my own**
elias tazartes 🥕�.. @ETazou
3K Followers 668 Following co-founder & co-cto/ceo @kakarotzkevm 🥕 - eliastaz.eth
kaiju @0xKaiju
141 Followers 4K Following investing @ SV, follow for developments and takeaways on the intersection of blockchain/crypto+ai+zk. dm for collaborative research. farcaster: kaijufc
alexander | attar.eth @4tt4r
2K Followers 2K Following Head of Protocol @holographxyz | Previously @foundation / @optimismpbc / @consensys (@ujomusic + @infura_io) / @songtrust | Alum @nyumusictech
emiliano.oO ⚡️⛓.. @emilianobonassi
10K Followers 633 Following tech @conduitxyz | Web3 builder, researcher and investor with a strong interest in security | fmr: @immunefi @awscloud @iearnfinance | opinions are my own🦇🔊
Tomasz K. Stańczak @tkstanczak
5K Followers 965 Following @nethermindeth, #Flashbots ⚡🤖, @OilerNetwork 🛢, Twinstake 👬🥞, @FortaNetwork Council, #Starknet Foundation
Security Alliance @_SEAL_Org
6K Followers 72 Following Securing the future of crypto | Cover art by @yueko__
DeFi Dad ⟠ defidad... @DeFi_Dad
158K Followers 5K Following ⟠ DeFi and Web3 super-user, educator, angel 🎙️ Host, Editor, and Producer of The @Edge_Pod 💫 Invests at @4RCapital 📺 Subscribe/watch on https://t.co/txxZZAhqsW
AleoSwap | 1st DEX on.. @AleoSwapHQ
2K Followers 13 Following @AleoSwapHQ is the first official native DEX built on @AleoHQ Focusing on Transparency, Privacy of the transactions. #AleoSwap #Aleo #DEX
Nick Szabo @NickSzabo4
349K Followers 8K Following Blockchain, cryptocurrency, and smart contracts pioneer. (RT/Fav/Follow does not imply endorsement). Blog: https://t.co/zZ7lTyOrtS
Andreas (aantonop Tea.. @aantonop
766K Followers 1 Following My team uses this account now. Find me on https://t.co/xXqqqjq7Mt or https://t.co/DrzRPDF6ug #Bitcoin & Open Blockchains, since 2012. Author of 6 books.
Volodya @0xVolodya
3K Followers 75 Following Smart contract security researcher, Ranked #1 on the 60-day leaderboard @code4rena Currently available for projects 🗓
Aspecta @aspecta_id
104K Followers 184 Following 🚀 Build the New Paradigm of Developer Economy with AI
安全 @UseFirewall @VeridiseInc DAO @creatordaocc @aladdindao CEX @AscendEX_
ZkSummit 11 happens today!!!! We are streaming it here youtube.com/live/ZcqgXPFIw…
📢Manta x Veridise: Security Partner Announcement🤝 Leading blockchain security company @VeridiseInc is the first security partner engaging to secure Manta Network🎉 Get the free OAT on @BNBCHAIN for the Veridise x Manta Incubation below🆓👇 galxe.com/mantanetwork/c…
Happy to announce that we've completed an audit with industry-leading security company @VeridiseInc🔒 The audit covered the security of Spectre, our ZK co-processor and sygma-x-solidity, our cross-chain bridge. Details & report↓
Very excited to see the intial release of Jolt! Here's a slide from my upcoming Eurocrypt talk on Lasso summarizing the (arguably underexplored branch of) zkSNARK research that led to JOLT, a simple and fast zkVM!
1/ We're excited to share the initial release of Jolt, a new approach to zkVM design. Early benchmarks indicate it outperforms RISC Zero by ~6x and SP1 by up to 2x. Major optimizations are still in the pipeline.
Monthly Update! 📢 Panther Protocol is rapidly advancing toward its mission! March saw major milestones like the @KyberNetwork partnership and successful @VeridiseInc audits. 1/2
✨ @EdgelessNetwork is excited to announce the successful completion of their security audit with @VeridiseInc! ✨ #Edgeless is the first ever crypto ecosystem without application layer fees 🔒 Their commitment to robust security measures ensures your peace of mind while…
We are pleased to announce that we have successfully completed a security audit with @VeridiseInc. Veridise is the industry-leading security audit company specializing in formal methods. Full audit report PDF below 🧵
Nice article on #zk by @VeridiseInc, one of the teams that has worked with @o1_labs on their #o1js partner program medium.com/veridise/zero-…
@ETHBucharest_ @AndreeaButerchi @VeridiseInc Love to see formal methods content in Eth Bucharest!
🎤 SPEAKER ANNOUNCEMENT @AndreeaButerchi holds MSc and BSc degrees in Computer Science from “Alexandru Ioan Cuza” University of Iasi, Romania. She currently serves as the VP of Engineering at @VeridiseInc, specializing in securing the blockchain ecosystem using formal…
Are you developing on @SorobanOfficial? Soroban is the new smart contract platform built by @StellarOrg. If yes, you can't miss this post: we wrote an article on how to avoid common pitfalls related to storage layout and unbounded data. Read on 🧵
Informative article for those building smart contracts on Stellar, featuring practical advice on 'storage layout' considerations to safeguard against potential security risks.
Are you developing on @SorobanOfficial? Soroban is the new smart contract platform built by @StellarOrg. If yes, you can't miss this post: we wrote an article on how to avoid common pitfalls related to storage layout and unbounded data. Read on 🧵
Know your storage layout. Excellent post by @VeridiseInc on how to tackle this important design consideration in Soroban smart contracts
Are you developing on @SorobanOfficial? Soroban is the new smart contract platform built by @StellarOrg. If yes, you can't miss this post: we wrote an article on how to avoid common pitfalls related to storage layout and unbounded data. Read on 🧵
2/ On Feb 27, we partnered with @class_lambda to host Scale Summit for a day of educational content and networking. The event saw 550+ attendees and featured 20+ zk and Ethereum scaling leaders, including; @class_lambda, @0xPolygon, @the_matter_labs, @StarkWareLtd, @RiscZero,…
Excited to have @VeridiseInc join us on-stage at ZK Accelerate Athens! @AlpAtVeridise will present Security in the ZK Domain🚀
ZK Accelerate Athens is nearing capacity 🚨 🗓️ April 11 ✅ Free to attend 👇 Sign up now lu.ma/f5rwv3b1
Evertas co-founder & CEO @gdanskij spoke on infrastructural operational security challenges at @StakingSecurity yesterday. Moderated by @cubistdev's Fraser Brown, the panel also featured @dex_chen_V from @verilog_audit, @bensepanski of Veridise & Redjack’s @justinembone.
@gdanskij @bensepanski @mr_dddt @justinembone @second_fraser @vreeland @banescusebi @dntse @kwantam @stanleywu84 @soubhik_deb @roth_edgar Lastly, a big thank you to our sponsors 🤝 for their generosity and commitment to making the day a success. @babylon_chain, @ChainproofDAI, @cubistdev, @everstake_pool, @Evertas, @PolyhedraZK, @SemanticLayer, @VeridiseInc, and @verilog_audit, we appreciate your support!
security is a process, not a stamp of approval. Not having bugs/having a lots of bugs on a report doesn't mean anything. To really understand the security of a project you have to check how often they get audited, by who, for how long, what the scope was, etc.
This post is unfortunately misleading, as it targets the wrong codebase. The audit was performed on plonky2x, not plonky2. The latter went through an audit back in Dec 22 by LA which had found 2 issues, one of which was seemingly irrelevant.
Layer 2 user base all time high Ignore the noise, follow the activity
Trends for United States
You might like
