Veridise | We are hiring @VeridiseInc Twitter profile

Pinned Tweet

Veridise | We are hiring

8 days

EthCC is just a week away — Brussels, here we come! Catch our keynotes, join our panel discussion, and come to chat about your security needs at our booth at key infrastructure events. See and register for the events below 🧵

1

5

Last Seen Profiles

@ferbyourfate

@skalyftbyh

@ChastainMi638

@PaceBos33119378

@pengen_stw

@oyeniranWolex

@LancsHospJobs

@marymistress206

@yoongitoo_janel

@goree_chan

@rx3iii

@btc_ireland

@elijahgemini

@stwmaniax

@DrChrispyMusic

@FloridaladyJudy

@Roblox

@AzkaBulian67752

@rouaoi

@xoxoo_k

@manuel94685

@nz15282

@ecco2gae

@tre_ID

@DeportesAR

@KateWillshaper

@SaosaoSea

@melita_walker

@PHSbirdhouse

@notsilentsis

@ChristianSolin3

@YoungEternally

@Memento81972639

@saltypeanvts

@lGTVgdrrc1eeBCL

@sydknapman

Veridise | We are hiring

@VeridiseInc

6 months

We are hiring: Head of Business Development If you are living and breathing blockchain, have killer instincts for partnerships and can close any deal, we'd love to hear from you! Full details and application here:

10

27

122

Veridise | We are hiring

@VeridiseInc

2 years

ZKPs can be *very* tricky! Read on to learn more about a subtle bug in Circom-pairing and how a Veridise audit managed to catch it:

Circom-Pairing: A Million-Dollar ZK Bug Caught Early

This blog post is also available in the following languages: 简体中文.

medium.com

5

49

134

Veridise | We are hiring

@VeridiseInc

1 year

We are delighted to announce our partnership with Ankr to secure Ankr’s multi-chain ecosystem! We’ve been working with Ankr since our inception and we are happy to make this partnership official!

12

18

73

Veridise | We are hiring

@VeridiseInc

1 year

We are delighted to be a security partner for the Manta ecosystem!! @MantaNetwork

Manta Intern

@MantaIntern

1 year

The @MantaNetwork ecosystem is growing week by week, here's an overview of all the projects, partners and supporters that exist today. Who do you want to see next?👇

19

79

191

2

11

44

Veridise | We are hiring

@VeridiseInc

1 year

Are you curious to know how audits can go beyond patterns and checklists? Check out our recent blog post about violating invariants in Semaphore: @PrivacyScaling

Breaking the Tree: Violating Invariants in Semaphore

Welcome back to another Veridise blog post! In this post we talk about contract invariants and why it is so helpful to keep them in mind…

medium.com

3

27

46

Veridise | We are hiring

@VeridiseInc

6 months

1/2 We are happy to announce the completed audit of @Stake_stone - a staking protocol for omnichain liquidity. The protocol offers a number of innovations like scalable automatic yield optimization, multi-scenario adaptation for the STONE token, and cross-chain compatibility.

18

8

39

Veridise | We are hiring

@VeridiseInc

1 year

We would like to thank @PennBlockchain for inviting us to the ZKP panel and @MinaProtocol , @MantaNetwork , @Scroll_ZKP and @aztecnetwork on facilitating a fascinating discussion on ZK's potential and future!

2

8

42

Veridise | We are hiring

@VeridiseInc

11 months

1/2 Our intern Alex Ozdemir has recently authored a paper on the Satisfiability Modulo Finite Fields (SMFF) theory. SMFF is exciting because it allows traditional verification techniques to be applied to the #ZK domain.

6

2

44

Veridise | We are hiring

@VeridiseInc

1 year

(1/5) We are delighted to share that our recent research on finding underconstrained ZK circuits will appear at PLDI 2023! This was a joint effort by researchers from @VeridiseInc and @0xPARC . 🧵

1

10

43

Veridise | We are hiring

@VeridiseInc

11 months

🤝 We are proud to announce that we have joined the @o1_labs Partner Program. We are excited to facilitate #DataPrivacy and #Web3security through #ZeroKnowledge tech!

Continuing the Journey: Announcing the Next Edition of the O(1) Labs Partner Program

Written by Phil Kelly, Head of BD

blog.o1labs.org

1

14

32

Veridise | We are hiring

@VeridiseInc

1 year

(1/5) At @VeridiseInc , we are passionate about building security analysis tools in a data-driven way. We recently performed a study of vulnerabilities in ZK circuits and built a tool to detect them: @ethereum @privacyscaling

Practical Security Analysis of Zero-Knowledge Proof Circuits

As privacy-sensitive applications based on zero-knowledge proofs (ZKPs) gain increasing traction, there is a pressing need to detect vulnerabilities in ZKP circuits. This paper studies common...

eprint.iacr.org

2

10

35

Veridise | We are hiring

@VeridiseInc

11 months

1/3 We recently started a mini-series on recursive #ZK #SNARKs , incrementally verifiable computation ( #IVC ), #FoldingSchemes and #Nova on our blog. The second article from the series is now live! In it, we talk about Halo and accumulation.

1

11

32

Veridise | We are hiring

@VeridiseInc

11 months

We are thrilled to be a partner for @o1_labs and look forward to collaborating with them!!

o1Labs (httpz)

@o1_labs

11 months

Collaboration is key to driving blockchain innovation. 🤝So we’re beyond excited to announce the next edition of the O(1) Labs Partner Program! 🎉Say hello to our partners: @madoathstudios , @tallyxyz , @hashcloak , @civickey , @WeAreTellor , @Galxe , @terminal3io and @VeridiseInc 1/3

3

17

71

1

7

34

Veridise | We are hiring

@VeridiseInc

18 days

Proof of liabilities with ZK circuits? Better privacy & more scale with off-chain compute. @Phil_Kelly_NYC from @o1_labs and our CEO @FormallyJon discuss a proof of concept we developed together with O1JS. Here's a snippet from our panel conversation at Consensus.

0

5

36

Veridise | We are hiring

@VeridiseInc

2 months

New blog post is live: "Meet Our Team: 10 questions for Jon Stephens" @MikkoIkola sat down with our CEO & Co-founder @FormallyJon to discuss everything from blockchain security to his favorite pranks 💬 🌟 Open to find out what we asked Jon 🧵 1/3

1

30

Veridise | We are hiring

@VeridiseInc

7 months

We are thrilled to be the first company hosted by @o1_labs for their new X Space series! The series will be exploring how #ZK is revolutionizing privacy, oracles, marketing, and more. On the pilot episode you'll get to hear from our CTO @FormallyJon - don't miss it!

o1Labs (httpz)

@o1_labs

8 months

Our pilot episode will feature @VeridiseInc . Set a reminder to join us next week (Nov 29 at 8AM PT) to hear how they are using ZK to create a verifiable liability tree!

1

9

36

1

13

31

Veridise | We are hiring

@VeridiseInc

1 year

1/3 We are thrilled to announce our security partnership with our friends at @cubistdev ! It’s been fun going from being cheerleaders for each other in academia to being business partners 👋🏼🤝🏼

5

16

28

Veridise | We are hiring

@VeridiseInc

1 month

Veridise Puzzles continue! Enter Puzzle #2 . Can you spot the vulnerabilities in this Solidity code? 🧐 Reply below and share your thoughts. Let's learn together! 1/1

4

0

30

Veridise | We are hiring

@VeridiseInc

2 months

Coming to @EthCC ? Join L2con, the largest L2 scaling event on July 9! Our co-founder @FormallyJon is speaking together with people from @Starknet , @zksync , @cartesiproject , @ZircuitL2 , @nil_foundation , @OffchainLabs , @0xPolygon . Tickets: - by @epicweb3 !

2

3

31

Veridise | We are hiring

@VeridiseInc

1 year

Thanks to everyone who joined us for zkDay and huge thanks to @MantaNetwork for taking the lead on organizing!! We hope everyone has a great time

0

9

29

Veridise | We are hiring

@VeridiseInc

11 months

gm devs, how has your week been?

4

3

31

Veridise | We are hiring

@VeridiseInc

23 days

Building on @StellarOrg Soroban? Don't miss this! Our security analyst @UnboxedType has identified an issue with a specific build-test-deploy pattern. If not addressed promptly, this could lead to severe consequences for a project. 1/2

1

4

28

Veridise | We are hiring

@VeridiseInc

1 year

This event is today and will be live-streamed for those who can't make it in person! @MinaProtocol

Mina Protocol (httpz) 🪶

@MinaProtocol

1 year

ZK 360 Panel – “Future of ZK” 💭 Discussing the rise of ZK, industries poised for adoption, and regulation with: @bensepanski from @VeridiseInc Roy Lu from @HashKey_Capital @Crypto_Texan from @0xPolygonLabs @waltjsmith from @galaxyhq @dylankugler from @MinaFoundation

2

37

172

0

3

27

Veridise | We are hiring

@VeridiseInc

9 months

1/ We are teaming up with @TheSecureum to host an exciting blockchain security workshop! There will be talks and presentations 👨‍🏫, security challenges 🏆, work with our automated security tools👨‍💻 and of course, a prize pool💰💰💰 for the top performers!

1

4

26

Veridise | We are hiring

@VeridiseInc

9 months

1/🧵 We recently announced the #ZK #Security Workshop we are hosting together with @TheSecureum and now it's time to share more details about it with you.

3

8

27

Veridise | We are hiring

@VeridiseInc

1 year

(1/3) After spending a lot of time explaining common problems in zkSnarks at ETHDenver recently, we decided to write a blog post series explaining ZK circuit development in Circom:

A Gentle Introduction to ZKPs and Circom

One of our favorite things to do at Veridise is to perform security audits of zero-knowledge proofs (ZKPs). In this article, we will…

medium.com

1

14

26

Veridise | We are hiring

@VeridiseInc

1 year

More great talks at #zkweek ! Victor Ji of @MantaNetwork talking about their zkSBTs to prevent Sybil attacks while maintaining privacy. @jump_pit

2

6

24

Veridise | We are hiring

@VeridiseInc

1 year

We are thrilled to be the official security partner of @MantaNetwork & we look forward to creating a secure ecosystem for Manta!

Manta Network (🔱,🔱) Meme-ta Szn

@MantaNetwork

1 year

📢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🆓👇

23

668

738

0

9

26

Veridise | We are hiring

@VeridiseInc

1 year

We love auditing zk circuits at @VeridiseInc ! Our past audits have uncovered many serious problems in zk circuits, including in high-profile projects (e.g., )

Circom-Pairing: A Million-Dollar ZK Bug Caught Early

This blog post is also available in the following languages: 简体中文.

medium.com

alex

@ObadiaAlex

1 year

any zk circuit auditing firms out there?

32

9

85

1

2

24

Veridise | We are hiring

@VeridiseInc

1 year

Our team had a fantastic time at Consensus this year! Thanks to the Blockchain Research Symposium, @MinaProtocol and @EVMNext for organizing these events & facilitating great conversations!! @iam_jsv @bensepanski @IsilDillig

2

7

23

Veridise | We are hiring

@VeridiseInc

2 months

New week, and a new Weekly Explainer on Blockchain Security! Our term of the day: Reentrancy attack 🧵 1/3

1

0

24

Veridise | We are hiring

@VeridiseInc

30 days

Thank you @ChainSafeth for the kind words and for entrusting us with your ZK security audit needs 🙏 ChainSafe is an industry-leading blockchain R&D and protocol engineering company.

ChainSafe

@ChainSafeth

30 days

It has been an absolute pleasure working with @VeridiseInc ! Their domain expertise helps ensure our ZK circuits are built robustly and can be leveraged with peace of mind by teams like @buildwithsygma 🤝 Full PDF report:

0

1

0

22

Veridise | We are hiring

@VeridiseInc

1 year

(1/5) As promised in a previous thread about our Semaphore audit, here is a hot-off-the-press blog post about how OrCa (one of @VeridiseInc tools) could have been used to prevent two recent exploits! @PrivacyScaling @RektHQ @Cointelegraph

2

8

20

Veridise | We are hiring

@VeridiseInc

6 months

Interested in hearing about the power of ZK in enabling off-chain smart contracts at @consensus2024 ? If so, please vote for this panel including our CTO @FormallyJon and friends at @o1_labs , @ZKPanther and @YoSnickerdoodle . You can cast your vote here:

Powerful Contest Platform & Competition Voting Software | Launchpad6

Launchpad6 is a leading competition management software platform for businesses looking to engage and convert new customers or members. Try your free demo today.

www.launchpad6.com

o1Labs (httpz)

@o1_labs

6 months

Want to see us on stage at @consensus2024 ? This year, they have community-sourced sessions and YOU can vote for our talk 🗳️ We'd love to share with the audience the power of ZK to enable off-chain smart contracts and what use cases it unlocks! Vote here:

0

15

64

0

5

19

Veridise | We are hiring

@VeridiseInc

1 year

We had a blast at ETHDenver this year! It was great to participate in many panels and catch up with our amazing investors, partners, and collaborators!

3

4

20

Veridise | We are hiring

@VeridiseInc

24 days

It was excellent working with you as well! Thank you for the kind words and for entrusting us with your security audit needs. @hiyield_xyz enables access to traditional capital markets for Web3 natives.

HiYield

@hiyield_xyz

25 days

It was excellent working with the @VeridiseInc team. They took the time to understand the product and were highly communicative and professional throughout the process. We look forward to working together with them again on future audit work.

0

12

0

19

Veridise | We are hiring

@VeridiseInc

1 year

📢1/6 We are excited to announce the successful completion of our workshop in partnership with @TheSecureum ! 🧵👇

1

3

20

Veridise | We are hiring

@VeridiseInc

11 months

We're hiring blockchain security auditors & bug huntooors. Why work with us? 👉We're a cool company (or so we've been told) 👉The team is 🤌❤️ 👉You'll get paid 👉Other perks 👉But mostly because we're cool #hiringnow #hiring #web3jobs

Veridise Careers: Security Software Engineer

Veridise Careers Security Software Engineer

veridise.com

7

5

19

Veridise | We are hiring

@VeridiseInc

1 year

We had a blast at @PragueDefi & @EthPrague ! A few awesome days of networking, hacking and fantastic talks on #DeFi , #interoperability , #zk , and more. 10 out of 10, will be back next year.

0

10

18

Veridise | We are hiring

@VeridiseInc

1 year

Secureum RACE-16 race is now active! Please consider participating if you are interested in the upcoming Veridise Workshop (by invitation only)! @TheSecureum

SΞCURΞUM

@TheSecureum

1 year

Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at . RACE-16 is designed by Secureum mentor @FormallyJon & @VeridiseInc . Top-16 performers will be invited to Veridise Workshop. Details on Discord.

2

19

48

0

9

15

Veridise | We are hiring

@VeridiseInc

1 year

1/8 Our paper "Certifying Zero-Knowledge Circuits with Refinement Types" was accepted by @IEEESSP 🙌 The IEEE Symposium on Security and Privacy is a leading forum for developments in computer #security and electronic #privacy so it's an honour for our paper to be selected. 🧵

1

2

16

Veridise | We are hiring

@VeridiseInc

2 months

We're recruiting! Join us to build state-of-the-art security analysis tools: - Frontend Software Engineer (Remote) - Backend Operations Engineer (Remote) See the job descriptions attached. DM us for more info!

3

2

15

Veridise | We are hiring

@VeridiseInc

1 year

Huge thanks again to @TheSecureum and @0xRajeev ! We will be following up soon with more Secureum workshops for other tools that we are building at Veridise!!

RajΞΞv

@0xRajeev

1 year

Congratulations to all the participants of the @VeridiseInc Workshop — amazing work! 👏 Huge thanks to Veridise for hosting an extensive workshop and providing this opportunity to @TheSecureum community. 🙏

0

1

21

0

1

16

Veridise | We are hiring

@VeridiseInc

22 days

Thank you for your kind words 🙌 and for trusting us with your security needs. It's truly a privilege to collaborate with such an innovative team. @3janexyz is a crypto-native derivatives protocol leveraging restaking.

3Jane

@3janexyz

22 days

Working with @VeridiseInc 's auditors was a pleasure. An extremely competent, organized, professional, and timely auditing team. Highly recommend!

0

4

0

17

Veridise | We are hiring

@VeridiseInc

1 year

We are excited to partner with @TheSecureum for RACE-16 & invite the top-16 performers to our upcoming workshop!

SΞCURΞUM

@TheSecureum

1 year

Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at . RACE-16 is designed by Secureum mentor @FormallyJon & @VeridiseInc . Top-16 performers will be invited to Veridise Workshop. Details on Discord.

2

19

48

0

3

17

Veridise | We are hiring

@VeridiseInc

1 year

Recently, Wilson Nguyen @mercysjest , Dan Boneh @danboneh (both from Stanford University) and Srinath Setty @srinathtv (Microsoft Research) published a paper named “Revisiting the Nova Proof System on a Cycle of Curves”. 🧵 👇

1

5

17

Veridise | We are hiring

@VeridiseInc

1 year

Our CTO @FormallyJon was on the @zeroknowledgefm podcast with @AnnaRRose . If you haven't listened to it, check out the highlights from the convo on our blog. Jon talks about formal verification, his transition from #solidity to #ZK and a lot more.

Using Formal Verification on ZK Systems: Our CTO Jon Stephens in Conversation with Anna Rose

Our CTO Jon Stephens had the pleasure of being a guest on the Zero Knowledge podcast. Here are the highlights from the conversation.

medium.com

0

11

15

Veridise | We are hiring

@VeridiseInc

4 months

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 🧵

1

2

14

Veridise | We are hiring

@VeridiseInc

1 year

Please join us at zkDay on Feb 28th in Denver! It will be a fun day full of ZK-related talks, discussions, and activities :) We look forward to seeing you there! @polychaincap @MantaNetwork @Scroll_ZKP @AleoHQ @cysic_xyz @VeridiseInc @nil_foundation @ModulusLabs @HyperOracle

0

8

16

Veridise | We are hiring

@VeridiseInc

2 years

Are your Zero Knowledge proofs actually correct? Check out @FormallyJon 's talk at DevCon to find out!

0

11

16

Veridise | We are hiring

@VeridiseInc

1 year

1/5 We are excited to share our new blog post about ZK vulnerabilities in Circom: Read this thread if you just want the TL; DR :) 🧵👇

ZK Vulnerabilities: Sharp rocks hidden in deep water

In this blog post, we will talk about common vulnerabilities in Circom programs and their root causes. If you are not familiar with either…

medium.com

1

10

15

Veridise | We are hiring

@VeridiseInc

1 year

Our CTO @FormallyJon speaking about Veridise tools for finding ZK bugs at the Delendum Future Computing Workshop! @DelendumV

2

5

16

Veridise | We are hiring

@VeridiseInc

1 year

@weikengchen We gave the Twitter password to the intern and he followed you and Taylor Swift. Kids these days… While we’re at it, shall we check your code for bugs? 😎

0

15

Veridise | We are hiring

@VeridiseInc

1 year

So many great talks at #zkweek ! @jonathanpwang of Axiom talking about asynchronous blockchains that allow doing cool stuff like querying historical data using zk coprocessing @jump_pit @axiom_xyz

0

3

15

Veridise | We are hiring

@VeridiseInc

1 year

And a great talk from @MinaProtocol explaining how zkapps work and how to great them for use in the Mina ecosystem!

0

3

14

Veridise | We are hiring

@VeridiseInc

2 years

The @VeridiseInc team at ZK house @ Devcon! Please join us for this fun and exciting event :)

0

2

15

Veridise | We are hiring

@VeridiseInc

2 months

Thanks to @EdgelessNetwork for choosing us for their protocol security needs earlier this year and for this generous testimonial 🙏🏼 @albertsuzhu is the co-founder of Edgeless Network, which offers the first crypto ecosystem without app layer fees.

0

15

Veridise | We are hiring

@VeridiseInc

23 days

See the full blog post: 2/2

Veridise enhances Soroban security: Breaking our Teeth on Stale Dependencies

This article highlights an issue with Soroban’s build-test-deploy process that was recently discovered by Veridise security analysts. It…

medium.com

0

13

Veridise | We are hiring

@VeridiseInc

10 months

We have just completed an audit of @CogFinance - a protocol that allows users to deploy permissionless isolated lending & borrowing pools. We audited the Cog Isolated Lending Platform smart contracts & discovered vulnerabilities that have been addressed by the Cog team. 1/2

1

6

13

Veridise | We are hiring

@VeridiseInc

8 months

Now on stage at @zkdayofficial : Yanju Chen @iffyanju from the Veridise team.

1

2

14

Veridise | We are hiring

@VeridiseInc

2 years

Our CEO @captain8299 and Veridise researchers presenting @VeridiseInc tooling for ZK circuits at the Stanford blockchain event this week!

0

3

14

Veridise | We are hiring

@VeridiseInc

1 year

Come join us now for ZKDay @ETHDenver ! We will be running a workshop at 3:30 pm today to talk about all the ZK-related security tools we‘ve been building! @MantaNetwork @Scroll_ZKP @FormallyJon

0

2

13

Veridise | We are hiring

@VeridiseInc

11 months

2/2 The paper, co-authored by Alex, Gereon Kremer, Cesare Tinelli @cesare_tinelli and Clark Barrett @ClarkBarrett7 , promises to make verifying ZK systems easier. You can read more about it on our blog:

Satisfiability Modulo Finite Fields: Unlocking SMT for ZK Verification

Today we’ll introduce “Satisfiability Modulo Finite Fields” (SMFF): a research paper that promises to make verifying ZK systems easier.

medium.com

1

2

14

Veridise | We are hiring

@VeridiseInc

1 year

More cool talks from #zkweek : @elusivprivacy talking about how to create a blockchain that enables users to submit private transactions while still allowing decentralized compliance mechanisms @jump_pit

1

2

10

Veridise | We are hiring

@VeridiseInc

1 year

Thanks to @CertoraInc for inviting our co-founder @IsilDillig to speak at the DeFi Formal Verification Summit! It's been fascinating to hear so many great talks today :)

1

2

13

Veridise | We are hiring

@VeridiseInc

1 month

Congrats @CatalystAMM on launching mainnet! And thank you for entrusting us with your audit needs — already three audit projects in total. Catalyst is an interoperability protocol to share liquidity across chains (cross-chain AMM). 1/3

Catalyst

@CatalystAMM

1 month

soonTM is today. Catalyst Mainnet is LIVE! ✨🔁 OP Stack L2s can now share liquidity between its rollups. Swap native ETH between @Optimism , @Base , and @Blast_L2 — with more networks to come. Using @wormhole ’s messaging network. Say goodbye to bridges. The future of cross-chain

72

114

427

1

13

Veridise | We are hiring

@VeridiseInc

3 months

Our Research Scientist @AlpAtVeridise on stage at ZK Accelerate, Athens. Thank you @Ingo_zk for having us - great conference 🙌

0

2

12

Veridise | We are hiring

@VeridiseInc

9 months

Another successful audit in our books. It was a pleasure working with the @Range_Protocol team! If you want to check out our review of Range Protocol's core Vault Manager contracts and upcoming @GHOAave Vaults, you can do it here:

SkateFi (fka Range Protocol)

@skate_fi

9 months

🛡️ Excited to announce that @VeridiseInc has completed a comprehensive audit of our core Vault Manager contracts and upcoming @GHOAave Vaults! Backed by the cybersecurity expertise of Veridise, Range users can rest assured that our smart contracts operate within the highest

23

24

29

3

1

7

Veridise | We are hiring

@VeridiseInc

3 months

Our CTO @FormallyJon 's proudest moment? Seeing our team organize ZK Security Workshop with @TheSecureum :) Check out our recap: - Discover the winners - Browse our learning material - Watch insightful talks by @shenhaichen @theyisun @blockdeveth Recap 🧵

1

5

13

Veridise | We are hiring

@VeridiseInc

2 years

@VeridiseInc team get-together in the Bay Area! We are a high energy group of people passionate about what we are doing. If you share our passion (applying formal methods to blockchain), please consider joining us.

1

13

Veridise | We are hiring

@VeridiseInc

8 months

Want some sweet Veridise swag? Come and grab it at @zkdayofficial !

2

13

Veridise | We are hiring

@VeridiseInc

2 years

Researcher Chaofan Shou giving a talk about @VeridiseInc products at a Stanford blockchain event!

2

13

Veridise | We are hiring

@VeridiseInc

8 months

If you want a cat you can take home from Istanbul, we have a SNARKy one for you! Come grab it at @TheTrustX ! #DevconnectIST #swag

1

12

Veridise | We are hiring

@VeridiseInc

2 months

Introducing Veridise Puzzles! Here is the first simple Puzzle #1 . We'd like to invite you to spot the vulnerabilities in buggy Solidity code. Can you spot them? 🧐 Reply below, let's learn together! 1/1

1

0

13

Veridise | We are hiring

@VeridiseInc

1 year

GM degens! Are you going to @EthPrague ? Our teammates @AndreeaButerchi & @inks will be there - make sure to say hi! #PBW23

0

2

12

Veridise | We are hiring

@VeridiseInc

1 year

📣Happening today! 📌zkDay Paris @zkdayofficial 🗓 July 19, 2023 📍17 Rue de l'Aubrac, 75012 Paris 🕘 11 am - 8 pm Register here: & make sure to swing by our table, talk to our team and get some swag!

1

5

12

Veridise | We are hiring

@VeridiseInc

2 months

. @PhoenixDeFiHub is pioneering a DeFi Hub for the new ecosystem on @SorobanOfficial @StellarOrg . Congrats on the launch! 👏 Thank you for trusting us with the protocol audit, and for the kind words below. It was a pleasure working together 🙏

Phoenix DeFi Hub

@PhoenixDeFiHub

2 months

We are pleased to announce that we have successfully completed a security with @VeridiseInc . Veridise is the industry-leading audit company specializing in formal methods. Full audit PDF below!👇

6

11

37

2

0

12

Veridise | We are hiring

@VeridiseInc

1 month

Thank you @InceptionLRT for entrusting us with your security needs and your kind words 🙏

Inception | Restaking Protocol

@InceptionLRT

1 month

We've successfully completed a security audit with @VeridiseInc , the industry leaders in formal methods security audits 🔒 The thorough audit focused on our bridge, focusing on minting and burning of tokens during cross-chain transfers. Any identified issues have been

3

29

37

1

0

12

Veridise | We are hiring

@VeridiseInc

6 months

Today in our #ZK Fundamentals blog series, we talk about #succinctness , the Probabilistically Checkable Proof Theorem, and lay the groundwork for learning a lot more about #SNARKs . The article is now live on our blog, make sure to check it out!

ZK Fundamentals: Succinctness

This is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.

medium.com

0

2

10

Veridise | We are hiring

@VeridiseInc

11 months

3/3 Read the article now and let us know what you think in this thread!

Intro to Nova & ZK Folding Schemes: Halo and Accumulation

This is a blog series in which we explore ZK folding schemes and NOVA. Part II: Halo and accumulation.

medium.com

0

2

11

Veridise | We are hiring

@VeridiseInc

2 years

Happy new year from the Veridise team! We are excited to share our first community update for 2023:

0

5

12

Veridise | We are hiring

@VeridiseInc

1 year

Our CTO Jon Stephens is on this week's episode of the Zero Knowledge podcast @zeroknowledgefm . Tune in to hear @FormallyJon and @AnnaRRose talk about #ZK systems #security , formal verification & more.

0

4

9

Veridise | We are hiring

@VeridiseInc

1 year

1/2 Don't miss Jon Stephen's talk at @EthCC today! 🕘 When: 3:45 pm CET today (July 17) 📍The Louvre Stage at EthCC Jon will talk about applying formal verification to the correctness of #AccountAbstraction implementation with respect to common specifications such as #EIP4337 .

1

3

11

Veridise | We are hiring

@VeridiseInc

1 year

We thoroughly enjoyed auditing Cover 🦈👌

Poolshark Protocol 🦈

@PoolsharkLabs

1 year

/ 1🦈 Today we are releasing the source code for Cover Pools, the first automated stop-loss on-chain. Poolshark is enabling mass adoption of AMMs by traders who want to place directional range orders. It's time to enable the liquidity computer. 🦈 💻

10

44

159

0

3

11

Veridise | We are hiring

@VeridiseInc

1 year

More details about the Manta x Veridise partnership: It's been a pleasure to work with the amazing @MantaNetwork team & we look forward to more collaborations!

0

4

11

Veridise | We are hiring

@VeridiseInc

7 months

1/2 If you think accounting is boring, you'll want to check out the conversation our CTO @FormallyJon and @Phil_Kelly_NYC & @zktrivo from @o1_labs . They talk about using O(1) Labs' SDK o1js to power #ZK tech for verifiable accounting and its exciting real world use cases.

1

2

11

Veridise | We are hiring

@VeridiseInc

1 year

1/4 We are proud to share that our teammate Alex Ozdemir presented a paper at this year international conference on computer aided verification CAV 2023. Alex is a PhD student at Stanford; he uses cryptography, compilers & automated reasoning to to build secure systems.

1

11

Veridise | We are hiring

@VeridiseInc

8 months

With the Veridise ZK Security workshop kicking off tomorrow, let's give a shoutout to our awesome guest speakers: 👏 @pumatheuma from @SuccinctLabs 👏 @theyisun from @axiom_xyz 👏 @shenhaichen from @Scroll_ZKP 👏 @blockdeveth from @ethereum

1

11

Veridise | We are hiring

@VeridiseInc

1 year

Fantastic discussion at the “Formal Verification” panel @ DeFi Security Summit with @FormallyJon (our CTO), @ghilacas1 of @CertoraInc , Fraser Brown of @cubistdev , @RosuGrigore of @rv_inc , and @JulekSU of @nethermindeth . Read on for insights and takeaways from this panel 🧵👇🏼

2

6

11

Veridise | We are hiring

@VeridiseInc

2 years

@VeridiseInc team at DevCon!

1

11

Veridise | We are hiring

@VeridiseInc

1 year

Our CTO @FormallyJon speaking about three of our tools (Picus, zkVanguard, and zkOrca) for proving and finding bugs in ZK circuits. Thanks to @IOSGVC for a wonderful and informative event :)

0

4

11

Veridise | We are hiring

@VeridiseInc

1 year

1/3 Great article by @kcharbo0 featuring our circom bigint audit & static analysis tools for ZK circuits. @PrivacyScaling

Privacy & Scaling Explorations

@PrivacyScaling

1 year

🐞Dive into the latest on PSE Security in this blog post by @kcharbo0 ! Learn about the team's focus on Ethereum L2 and ZK security, and the importance of getting ahead of potential bugs. Read on:

1

22

32

2

6

11

Veridise | We are hiring

@VeridiseInc

2 months

Methods to prevent reentrancy attacks: 1) Reentrancy guards (a mechanism preventing a function from being called again while it's still executing) 2) Checks-Effects-Interactions (CEI) pattern 3) Gas limits 4) Pull payments 3/3

0

11

Veridise | We are hiring

@VeridiseInc

11 months

We have news for our followers and dedicated community members: we're launching Veridise Quests! 🏆 Every month one of you will take home a prize of $300 so: 1️⃣ Visit our community page on @zealy_io 2️⃣ Tell your friends Full details on our blog!

Veridise Quests: Join Our Vibrant Community on Zealy

NB! The Quests are currently put on hold due to technical difficulties

veridise.medium.com

1

10

Veridise | We are hiring

@VeridiseInc

2 months

We asked Jon about: - His experience in academia - What led him to research blockchain security - His personal auditing approach (read this if you're an auditor!) - What he is most proud of at Veridise - His favorite prank (!) 2/3

1

0

10

Veridise | We are hiring

@VeridiseInc

4 months

ETH Denver is in full swing! Greetings from our handsome auditors @KFerles and @bensepanski at Scale Summit. We had plenty of exciting conversations. Thanks to @nil_foundation for organizing. P.S. Veridise lipsticks were flying from our booth 💋

1

10

Veridise | We are hiring

@VeridiseInc

11 months

Did you know that since the beginning of 2023 the Veridise team has detected more than 5️⃣0️⃣ high-severity bugs and critical vulnerabilities in the projects we've audited? That's 50+ prevented hacks and exploits. Hit us up if you need a top-notch #Web3Security #audit .

1

8

9

Veridise | We are hiring

@VeridiseInc

1 year

Hanzhi Liu ( @MisakaCenter ) from the Veridise ZK auditing team participating in a panel about Layer 2 solutions and ZKP! @Scroll_ZKP @MantaNetwork

0

3

10

Veridise | We are hiring

@VeridiseInc

2 years

@VeridiseInc is now on Medium. In our next few blogs, we explain what program analysis is and how it can help catch security vulnerabilities before deployment. #security #verification @IsilDillig @captain8299

What is Program Analysis?

If you are interested in blockchain technology, you’ve likely heard of many incidents in which large amounts of funds were stolen due to an…

medium.com

1

2

9

Veridise | We are hiring

@VeridiseInc

2 years

We at @VeridiseInc have been building security analysis tools for Cairo programs. To learn more, check out this blog post about one of our tools called Medjai:

Medjai: Protecting Cairo code from Bugs

In this blog post, we will take you on a tour of how we developed Medjai, a new symbolic execution tool for finding bugs in Cairo programs…

medium.com

0xevolve 🧩

@0xevolve

2 years

Cairo security in 2023 will be a big thing. What are the ongoing efforts regarding this ? I know of @swmansion , @FuzzingLabs , @VeridiseInc

1

0

17

0

5

9