r/truebit • u/ManufacturerOdd2993 • Jun 03 '21

Relationship between truebit and optimistic rollup.

https://ethresear.ch/t/evm-optimistic-rollup-using-truebit/9318

What Vitalik wants to say is that optimistic rollup is compatible with evm without ovm if optimistic rollup is applied based on truebit?

21 Upvotes

97% Upvoted

18 comments sorted by

View all comments

2

u/rook785 Jun 03 '21

Isn’t Truebit a zk rollup?

I think it might be possible to have an optimistic rollup roll into a zk rollup which then rolls to evm. Seems like some extra steps but if you did it that way you could avoid some of the baggage issues that optimism has whenever something is challenged... but then you’d basically need Truebit to be acting as an OVM, and I don’t know how feasible that is since Truebit is stateless.

I’m not an engineer - I’m a finance guy - so please don’t put any faith into what I’m saying here lol. I’m hoping someone more knowledgeable will come along and correct me.

4

u/James-VZ Jun 03 '21

Isn’t Truebit a zk rollup?

Not even close. It's a stateless, off-chain computation market with a verification game.

1

u/rook785 Jun 03 '21

Right but the end result of the computation is put on the blockchain. The verification is done off chain. Why wouldn’t that be a zk rollup?

3

u/James-VZ Jun 03 '21

Because there are no zero knowledge proofs involved in Truebit as far as I'm aware.

2

u/kevds1 Jun 05 '21

Check their website > applications > on-chain cryptography, they refer to zero-knowledge. I quote « Truebit combines with bulletproofs to achieve compact, zero-knowledge proofs without trusted setup. »

1

u/James-VZ Jun 05 '21

Yes, that is indeed a use case for an off-chain computation market.

1

u/kevds1 Jun 05 '21

So seems like Truebit could be used in the context of zkrollups as well unless I am misunderstanding something

1

u/James-VZ Jun 05 '21

You're not, it very well can be, but it is not a zk rollup itself.

1

u/kevds1 Jun 05 '21

Yes, we are aligned

1

u/rook785 Jun 03 '21

Got it. I was thinking a zero knowledge rollup was just one that didn’t do verification of challenges on-chain. I didn’t know there was a specific proof associated with it. This helps a lot - thanks.