Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

ReportingCasper would generate not equal comm events when user deploy has no comm events.

Description

https://github.com/rchain/rchain/pull/2909#issuecomment-605915735

User contract like

for(@x <- @"x"; @y <- @"y"){ @"xy"!(x + y) | @"x"!(1) | @"y"!(2) } | @"x"!("x") | @"y"!("y")

which generate no comm events would get undeterministic result

Environment

None

Activity

Will Qiu June 10, 2020 at 1:36 PM

Persistent send or persistent consume can result in additional produce or consume event in replay.

Tomislav Grospić April 3, 2020 at 7:09 AM

this contract produces comm event and will be reduced to error because x + yis done on strings, and + on strings is not defined.
Because of that, event log in replay is not guarantied to be the same (at least until we implement replay of errors also).

 

Details

Assignee

Reporter

Priority

Created March 30, 2020 at 1:02 PM
Updated June 10, 2020 at 1:36 PM