HachiWe do security research on Cardanoplutus2022 (2)February (1)Feb 2 · Compiling Plutus Core to LLVMJanuary (1)Jan 28 · An Overview of Hachi's Security Toolkit for Plutus Core2021 (2)November (2)Nov 25 · An Introduction to Plutus CoreNov 17 · overzZzealous: the Peculiar Semantics of || and && in Plutus Core