But there's nothing for boolean statements.
A blockchain records everything a wallet did, but it can't verify anything about the person behind it. This is the classic logical constraint - a system cannot verify statements about itself from within itself.
At some point you need an external input, but oracles are trustless, which sounds great until you need to hold an oracle accountable. A strange suggestion indeed.
ZK Proofs don't solve this. A ZK proof can prove a statement is consistent, but it still can't prove it is truthful.
It's bizarre that blockchains have essentially solved validity, and yet have this entire dimension left completely open.
Has anyone thought about this, or know of any approaches here that I'm missing?