one cool thing you can do with simple, lightweight systems level mitigations/instrumentation like this is stick them in a zkVM (like SP1) and produce succinct proofs over arbitrarily sized agent trajectories, and show compliance to some agent policy without revealing the transcript at all
add a skeleton here at some point
23 days ago