Augusto Hack

Proposal for a new type of refund/cancellation

61

This is a rough sketch, it is by no means correct. I'm opening the issue so that we don't lose this proposal: ``` All values bellow are monotonic increasing. ##...

`ChannelOpened` uses the order of the addresses provided by the caller: https://github.com/raiden-network/raiden-contracts/blob/7212a66be1908af8b657c36de5393a04838af2e4/raiden_contracts/data/source/raiden/TokenNetwork.sol#L301-L306 `ChannelSettled` uses the a very weird order. The participant which has the highest transferred amount will be the...

Consider changing from single unlock to batch unlock in the secret registry

1

The secret registry currently only supports a single query per secrethash, because of this the token network has to do one `CALL` per lock, which has a non negligible cost...

Smart contract upgradability

2

### Problem definition How should smart contract upgrades be handled?

Improve type safety by wrapping value types in structs

9

Currently `uint256` is used for timeouts, chain_id, token amounts, channel identifiers, nonces, block_numbers, and expirations. On most cases these are completely incompatible and mixing the values is a bug, and...

Blinding the balance proof has two benefits: - It allows a node to use a monitoring service without revealing details about any transfer - It allows the uncooperative settlement do...

New release?

3

The last version on [crates.io](https://crates.io/crates/epd-waveshare/versions) is from 2 years ago, it would be great if there was a new release including the changes since then :)

When testing, it can be useful to inspect the stack state, something like: ``` proc.assert_stack_is_empty assertz assertz assertz assertz assertz assertz assertz assertz assertz assertz assertz assertz assertz assertz assertz...

Allow procedures with the same name to differ on the number of locals

1

When compiling the account code, one can wrap the basic wallet example. The issue is that when wrapping said code, there can be name conflicts, for example, the current code...

# Problem [`Assembler::compile_module`](https://github.com/0xPolygonMiden/miden-vm/blob/1698d13093c1af367de2d8491940ca9b7137d504/assembly/src/assembler/mod.rs#L212-L213) order changes if the procedure type is a re-export or not. This causes issues on code refactoring, if someone changes a procedure to a re-export (say, because...