Hva mener du styrker Redbellys sikkerhet mest? - ansvarlighet - deterministisk konsensus - formell verifisering - kvasi-øyeblikkelig finalitet