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, @cLabsScott Sunarto ◢ ✦.. @smsunarto
21K Followers 3K Following founder @ArgusLabs_ @WorldEngineGG, larp @egirl_capital, distributed systems, minji stan account, prev: @trailofbits, @darkforest_eth, @Berkeley_EECS '22dcbuilder.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: @guilleangerisDavid Wong @cryptodavidw
13K Followers 3K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroupRoman @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 screengmhacker.eth @realgmhacker
4K Followers 460 Following aerospace engineer 🚀 Head of Security @immunefi 🪲 Teaching Advanced Solidity at @RareSkills_io 😎 views are my ownandyguzman.eth 🦇�.. @AndyGuzmanEth
1K Followers 1K Following 0s, 1s & ∞. Talking about Ethereum, Zero Knowledge, Staking & Latam communities. Product/Projects at @PrivacyScaling/@Ethereum. Member at @EthereumCR & @ETHKipuAndrew Miller @socrates1024
20K Followers 3K Following 🛡️ UIUC • SUAVE • Cycles https://t.co/uT4qFVcVFN https://t.co/ybnVCbpEeXYisus 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 FollowingPicklo @Picklo13
0 Followers 0 FollowingChefshoulders @tunnessa79994
11 Followers 123 FollowingKing @IsaacAc92868885
22 Followers 686 FollowingGirasol 28 @goldengirasoll
11 Followers 36 Followingtar rek @tarrek105064
0 Followers 25 FollowingLiam @Daviddlape
5 Followers 67 FollowingTK-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 #dopecatsfouas @sefrou_maroc
15 Followers 210 FollowingBilly Huba @BillyHuba40995
78 Followers 5K FollowingNukri @Nukri_Super
576 Followers 1K Following my Kids: Love : Self Sovereign AI : Space Identity & State : PhD Nuclear Physics : 🇬🇪 & 🇺🇦 & 🇺🇸 @super__protocolFrank Yan @yantao
137 Followers 1K Following Full Stack Software Engineer specializing in Web and Blockchain Technologies.Sarge Rogatch @SoftwareCompre1
59 Followers 429 FollowingBari Ayoub @Ha563110
1 Followers 15 FollowingMejdi 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/PMagGRAI3uVishal Potpelliwar @v_potpelliwar
19 Followers 128 FollowingJolina Estillore @EstilloreJolina
7 Followers 57 FollowingShoriful-islam @shorifyt5150
15 Followers 218 FollowingSamir Thakuri @samirmalla29
34 Followers 109 FollowingSheikhblogs2060 @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 BrazilCryptoCorgiiiii @CryptoCorgiiiii
52 Followers 573 FollowingLaxman 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 FollowingJú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 Civilianleonscott @leonscott110
12 Followers 37 FollowingMaria Zubin @Mariazubin28
24 Followers 107 FollowingLane @shuutula
4 Followers 191 FollowingCJNG504 @CJNG504
2 Followers 11 Followingrafal @rafalhehe
459 Followers 196 Following writing about zero-knowledge proofs and blockchain infraBlockchainThor @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/1IDOUbRX6vKobi Gurkan @kobigurk
9K Followers 2K Following kobi.eth. applied crypto, security, experimental things. head of research @__geometrydev__, puzzler @__zkhack__, @zkpodai, validating @zkv_xyz, @cLabsScott Sunarto ◢ ✦.. @smsunarto
21K Followers 3K Following founder @ArgusLabs_ @WorldEngineGG, larp @egirl_capital, distributed systems, minji stan account, prev: @trailofbits, @darkforest_eth, @Berkeley_EECS '22dcbuilder.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 @FindAuditToghrul Maharramov �.. @toghrulmaharram
15K Followers 332 Following @Scroll_ZKP contributor; vibes officer @L2DAYSxyz; perpetual intern @trustminimizedEli Ben-Sasson @EliBenSasson
35K Followers 524 Following Co-Founder CEO @StarkWareLtd | Co-Inventor STARK FRI Zerocash | Integrity by Math and other memesTrust @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 lifeDavid Wong @cryptodavidw
13K Followers 3K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroupMudit 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/MVK4xfPSccIngonyama @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/v89WNCCR3uPhoenix DeFi Hub @PhoenixDeFiHub
1K Followers 41 Following Phoenix is pioneering the ultimate DeFi Hub for @StellarOrg’s vibrant ecosystem | Built on @SorobanOfficialSergito @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, @ConsenSysAcadmskerri.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: @neerajkafoodKritarth 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 #Web3Michael Lee ∎ @CashBowie
70K Followers 5K Following crypto + games. down the cypherpunk + zk tech 🐇 🕳️ @zksync. formerly @activision @blizzard_entFman @feynyman
702 Followers 1K Following research @mirana | investing @valhallafund | MIT//Stanford//midcel | interested in all things ai, zk | opinions my ownLakshya 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 SaxophonistHack 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 #monadSam 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/G281F0po3inixo.eth 🦇🔊 @nixorokish
2K Followers 512 Following executive director @ethstaker // decentralization / diversity / open source maxi // warpcast dot com/nixoMariusVanDerWijden @vdWijden
17K Followers 453 Following Developer @Ethereum, working on @go_ethereum, Farcaster: @vdwijdensoispoke.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/nYR8WqiQI1jameshe.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.ethkaiju @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: kaijufcalexander | attar.eth @4tt4r
2K Followers 2K Following Head of Protocol @holographxyz | Previously @foundation / @optimismpbc / @consensys (@ujomusic + @infura_io) / @songtrust | Alum @nyumusictechemiliano.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 FoundationSecurity 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/txxZZAhqsWAleoSwap | 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 #DEXNick Szabo @NickSzabo4
349K Followers 8K Following Blockchain, cryptocurrency, and smart contracts pioneer. (RT/Fav/Follow does not imply endorsement). Blog: https://t.co/zZ7lTyOrtSAndreas (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.