Compiling programs at https://nitter.cf/t.co/7IhoWOmux4 :) Formerly CSO at Veridise. UTCS MSCS 2022. DOE CSGF 2020 Fellow. BU Math 2020.
Houston, TX
Joined June 2012
- Tweets1.2K
- Following84
- Followers176
- Likes6.6K
Benjamin Sepanski retweeted
Today we're launching AuditHub for Professional Audit Firms, the comprehensive platform!
Four integrated formal methods tools that handle routine vulnerability detection automatically, enabling audit firms to deliver mathematical guarantees that competitors cannot match.
Benjamin Sepanski retweeted
Static analysis is fast but often too generic for real audits. Semantic queries change that.
@bensepanski, Chief Security Officer at @VeridiseInc, will show at DSS how to make static analyzers precise and project-aware.
Benjamin Sepanski retweeted
🚀 AUDITHUB IS LIVE
The first blockchain security platform that brings usable security tools to web3 development teams.
Your Web3 security deserves more than a PDF.
It deserves continuous, automated protection embedded directly into your workflow. ✨
Here is what AuditHub is and why you should pay attention!
🧵
Benjamin Sepanski retweeted
RISC Zero is building the first formally verified RISC-V zkVM.
Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits.
Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.
Benjamin Sepanski retweeted
PSA: Notion Calendar works with Apple iCloud now! 🍎📅
See all your calendars—Apple and Google—in one tidy spot.
We really enjoyed working with Edgeless! They were extremely responsive and clearly invested in taking the security of their smart contracts seriously
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 🧵
Benjamin Sepanski retweeted
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.
Benjamin Sepanski retweeted
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
Benjamin Sepanski retweeted
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
Benjamin Sepanski retweeted
Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at forms.gle/iL2uQvGZrDq5Uus46.
RACE-16 is designed by Secureum mentor @FormallyJon & @VeridiseInc. Top-16 performers will be invited to Veridise Workshop. Details on Discord.
Benjamin Sepanski retweeted
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 :)
Benjamin Sepanski retweeted
Our CTO @FormallyJon speaking about Veridise tools for finding ZK bugs at the Delendum Future Computing Workshop! @DelendumV
Benjamin Sepanski retweeted
(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:
eprint.iacr.org/2023/190
@ethereum @privacyscaling
Benjamin Sepanski retweeted
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
Benjamin Sepanski retweeted
Are you curious to know how audits can go beyond patterns and checklists? Check out our recent blog post about violating invariants in Semaphore: medium.com/veridise/breaking… @PrivacyScaling
Benjamin Sepanski retweeted
📢Semaphore just completed its security audit and formal verification!
We wanted to thank our friends at @VeridiseInc for the amazing work.
Expect a blog post next week with the release of v3.
You can read the full report he
github.com/semaphore-protoco…
Benjamin Sepanski retweeted
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: medium.com/veridise/circom-p…
Benjamin Sepanski retweeted
making a proof assistant assistant out of @jocelynqchen's new toy
