SECBIT
@secbit_io
Research on formal verification and zero-knowledge proofs.
🎭Aj4jpZyNE4UyqKNES+rRsHenJnnTF9Pa5m8Yk+cdrK4CA🎭
ID: 988341491255799813
https://secbit.io 23-04-2018 08:59:08
70 Tweet
760 Followers
103 Following
Our team has completed a review of the aCRV upgrade on the cvxCRV staking wrapper and we're happy to report no major risks have been identified. Full report to come. A big shoutout to Concentrator for their hard work on this upgrade! github.com/AladdinDAO/ala…
Glad to see Trust Wallet’s first public disclosure on our previous report x.com/errnil/status/…. However I refuse to say it is the end to this vulnerability. Many wrong claims should be corrected. More actions should be taken from the team. Let’s give the team some time. One
Must-watch 38C3 CCC Events talk on low entropy vulnerabilities Props to Milk Sad team (John Naulty, Christian Reitter & team) for their groundbreaking research 🔍 Proud our Trust Wallet research w/ outoflegend SECBIT got featured 🎥: media.ccc.de/v/38c3-dude-wh…
Excited to announce our 2-week zkVM HackerHouse with SECBIT in Suzhou this April 2025! 🌱 📅 April 14 - April 27, 2025 🔗 Apply now: tally.so/r/w279kL A huge thanks to our amazing sponsors ZKM Computation Frontier and partners Delphinus Lab ($ZKWASM) @realMaskNetwork