HachiWe do security research on Cardanocardano2022 (2)June (1)Jun 1 · IOG Audit and Certification MeetupJanuary (1)Jan 28 · An Overview of Hachi's Security Toolkit for Plutus Core2021 (1)November (1)Nov 17 · overzZzealous: the Peculiar Semantics of || and && in Plutus Core