Zellic
@zellic_io
Followers
17K
Following
675
Media
437
Statuses
2K
Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
Joined November 2021
Want to learn deep Web3 security knowledge written by the best hackers in the world? Here's a Twitter thread of interesting Twitter threads the Zellic team has written! 👇🧵
24
147
397
Today we are excited to introduce Virtual TAO (VTAO): a brand new liquid staked TAO token. Powered by @LayerZero_Core, audited by @zellic_io — vTAO is omnichain! Bridge vTAO from the @bittensor EVM to @base, @ethereum, @arbitrum, and more. Earn staking rewards while using your
18
73
255
2/ The $1M Solana Audit Subsidy Program is sponsored by leading audit providers active in the Solana ecosystem, incl. @CertoraInc, @chain_security, @CyfrinAudits, @HalbornSecurity, @hexensio, @SecurityOak, @Quantstamp, @quillaudits_ai, @sherlockdefi, @statemindio, and @zellic_io.
3
3
31
Some Move alpha right here by @zellic_io
https://t.co/FfMuLKxZkQ
zellic.io
We see these bugs over and over. Are they in your Move contracts too?
0
2
7
This is the way! We over-rely on human auditors, when really were making up for gaps in: - Fuzz & edge case testing - Security measures, so that even if you have a bug risk is bounded. (e.g. Rate limits, and isolated code boundaries) LLM tooling is the next gen of fuzzing. Huge
Bad auditors miss obvious bugs. We built an AI tool that finds them. Introducing V12: the only autonomous Solidity auditor that actually finds Highs and Criticals. We'll be releasing it for free. V12 finds Crits in Zellic audits, High/Mediums in Cantina, and a bug in Pendle.
5
4
55
These guys are one of the best auditors/security teams in the game. LayerZero has depended on this incredibly talented team for the past 3.5 years to provide audits on almost all of its smart contracts. This new tool comes at no surprise to me, I would expect nothing less from
Bad auditors miss obvious bugs. We built an AI tool that finds them. Introducing V12: the only autonomous Solidity auditor that actually finds Highs and Criticals. We'll be releasing it for free. V12 finds Crits in Zellic audits, High/Mediums in Cantina, and a bug in Pendle.
2
3
43
Incredibly cool--AI powered auditing., As these tools get better, they should significantly lower the fixed costs of creating crypto startups
Bad auditors miss obvious bugs. We built an AI tool that finds them. Introducing V12: the only autonomous Solidity auditor that actually finds Highs and Criticals. We'll be releasing it for free. V12 finds Crits in Zellic audits, High/Mediums in Cantina, and a bug in Pendle.
23
6
81
For years now @zellic_io has been one of our top partners in auditing. Love to see them shipping real product
Bad auditors miss obvious bugs. We built an AI tool that finds them. Introducing V12: the only autonomous Solidity auditor that actually finds Highs and Criticals. We'll be releasing it for free. V12 finds Crits in Zellic audits, High/Mediums in Cantina, and a bug in Pendle.
2
3
54
Congratz to @zellic_io for the launch. This might be the first time I see a benchmark for an AI tool that provides real evidence of value. Looking forward to try it
Bad auditors miss obvious bugs. We built an AI tool that finds them. Introducing V12: the only autonomous Solidity auditor that actually finds Highs and Criticals. We'll be releasing it for free. V12 finds Crits in Zellic audits, High/Mediums in Cantina, and a bug in Pendle.
0
3
50
Excited to try V12? Check out the full announcement here:
zellic.io
V12 finds critical bugs consistently and automatically. We'll be releasing it for free.
1
0
39
We plan to deploy V12 in: - A standalone app that anyone can use - Zellic’s and Zenith’s audits - Code4rena’s competitions, where all V12 issues will be automatically marked OOS - Code4rena’s bug bounties, similar to bug bounties - A GitHub action for CI/CD integration
2
1
42
Finally, don't just take our word for it. V12 is already trusted by the best. Our design partners include LayerZero, Starkware, Axiom, Avantis, Initia, Alkimiya, and Succinct.
1
0
18
Unlike many apps which try to lock you in using your data, V12 lets you export freely to PDF, CSV, JSON, and Markdown. Moreover, we don't bill you by seat or subscription. We let you invite as many people as you want to your audits.
1
0
14
V12 is self-serve. Login with Google, connect your Github repos, select the scope, and click Run. No "book a demo", no "contact us" pricing.
2
0
19
V12 isn't just a powerful bug-finding engine. It has a fully-featured, intuitive frontend for easy review.
1
0
12
V12 finds bugs that, had they been found, would have avoided millions of dollars in hacks:
2
0
11
In competitions, historically human researchers submit mostly the same bugs as V12 finds:
2
0
15
Our goal was to build an AI tool that outperforms the worst auditors at finding simple but important bugs. How did we do? V12 finds bugs that audit firms missed:
1
0
21