oETH - Protocol Analysis