Many new cryptoeconomic systems are being designed on top of EigenLayer. At their core, the AVS contracts have to be designed. In order to implement them securely you often need to define a proof-backed dispute logic. SafeJunction is an ideal candidate there to provide all these AVSs with the primitives they need.
