Benjamin Sepanski
Benjamin Sepanski has audited smart contracts and zero-knowledge circuits at Veridise, including Mina’s o1js library, token standard and decentralized-exchange contracts. Sepanski developed detectors for a static analysis tool, ran analyzers and fuzzers for clients, and hired and managed the auditing team. Other research has focused on automating concurrent programs and improving scientific software through changes to data layout. Sepanski has also worked on compilers at Mythic.