Nasdaq og Kraken utvikler en gateway som kobler tokeniserte aksjer med blokkjedenettverk