Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
without the participation of any other parties. They do this by executing all the state transitions between two asserted commitments to show that the resultant commitment differs from the asserted one. Non-interactive fraud proofs have the benefit of being simple to reason about and design.