Yeah, that's how it sounds. Oracles sound like micro witnesses in the SMT space, which is definitely cool.
You are viewing a single comment's thread from:
Yeah, that's how it sounds. Oracles sound like micro witnesses in the SMT space, which is definitely cool.