Search results

immutableMetadata capability

Status: Open.

#343 In raiden-network/spec;

· andrevmatos opened on Jul 12, 2021

Add test vectors for message encoding

Status: Open.

#258 In raiden-network/spec;

· pirapira opened on Sep 4, 2019

Do we keep copying the Solidity sources from raiden-contracts?

questionFurther information is requestedFurther information is requested

Status: Open.

#235 In raiden-network/spec;

· pirapira opened on Jun 18, 2019

Specify Security Assumptions and Properties that Follow

Status: Open.

#229 In raiden-network/spec;

· pirapira opened on Apr 11, 2019

Specify Service Registry contract

questionFurther information is requestedFurther information is requested

Status: Open.

#217 In raiden-network/spec;

· pirapira opened on Feb 18, 2019

·  

Alderaan

Condition (7 R) in the settlement spec can be more precise

Status: Open.

#209 In raiden-network/spec;

· pirapira opened on Jan 30, 2019

Extend the Isabelle proof to cover the cases with stale balance proofs

Status: Open.

#207 In raiden-network/spec;

· pirapira opened on Jan 29, 2019

List the invariants of TokenNetwork contract

Status: Open.

#203 In raiden-network/spec;

· pirapira opened on Jan 25, 2019

Show which events are onchain/offchain in diagrams

Status: Open.

#143 In raiden-network/spec;

· pirapira opened on Nov 28, 2018

Add vector graphic diagrams

Status: Open.

#95 In raiden-network/spec;

· LefterisJP opened on Jul 1, 2018

Prevent replay attacks for hard forks

Status: Open.

#88 In raiden-network/spec;

· hackaugusto opened on Jun 18, 2018

Don't allow unlocking of locks whose expiration crosses settlement timeout

Status: Open.

#81 In raiden-network/spec;

· LefterisJP opened on May 23, 2018

·  

Ithaca