zkguard
Developing a system to prevent malicious transactions by using zero knowledge proofs to bind a policy to any action that a wallet performs.
zkpoex
Developing a framework for proving exploits in a permissionless manner by using zero knowledge proofs. This work has been accepted to SAC '2026.