Motion 13 is submitted: Polkadot runtime update to v23

Upgrade priority: MEDIUM

Specs of the runtime can be found [here](https://github.com/paritytech/polkadot/releases/tag/v0.8.23).

All Councillors please vote at your convenience. The preimage can be verified in the release notes.

proposalHash

SetCode: Polkadot runtime v23

proposalId

Untitled - treasury proposal #7

Untitled - treasury proposal #6

Untitled - treasury proposal #4

Untitled - treasury proposal #3

** Labs Introduction & Overall Proposals: ** https://polkadot.polkassembly.io/post/15

## Redspot v0.1

Github: https://github.com/patractlabs/redspot

Patract Labs' first project is "Redspot", named after Jupiter's Great Red Spot, which is also the largest DOT in the solar system. Redspot is inspired by Truffle (https://github.com/trufflesuite/truffle) in Truffle Suite. Redspot is a development environment, testing framework and asset pipeline for pallet-contracts. Redspot is trying to let the development of ink! be projectized and simplify the testing and interacting with contracts.

### Milestones : 3 weeks (20 Aug - 11 Sept)

**  M1: Testnet (1 developer * 2 weeks) **

1. Quickly deploy a local Substrate node with smart contract pallet that can be debugged locally
1. Launch a public testnet (named with Jupiter) with smart contract pallet, , and continuously maintain and upgrade it.

** M2: Environment (2 developers * 2 weeks)**

1. Provide command-line tools to pull resources from the network and build a local contract development and test environment by one command. 
1. Provide several built-in different contract template frameworks, such as single contract and multi-contract projects.

** M3: Compile and Deploy (3 developers * 3 weeks)**

1. Check whether the local Rust environment and contract development toolchain are complete
1. Automatically discover the contract code existing in the specified directory of the project, especially for multi-contract projects, support independent compilation between contracts, generate metadata, etc.
1. Support deploying contracts to the corresponding network through configuration files and command line options.

** M4: Testing (3 developers * 3 weeks)**

1. Provide a basic contract testing framework based on Mocha Assert or Jest
1. Support connecting different networks for contract testing through configuration files
1. Provide global parameters for common usage such as default accounts and network configuration, and provide some commonly used tools and assertion functions for testing
1. Get the deployed contract instance through Javascript and support simple interaction with the contract interface

### Cost

- Operating activities: $5000 ( Rent: $1000 per week, Servers & Devices: $2000)
- Employee payments: $24000  ( $1000 per developer * week)
- -------------------- +
- Total Cost: $29000
- Exchange Rate: $2.90/DOT
- Treasury Proposal: 10000 DOT

### How to Verify: Youtube demo video & Github source

1. Can simply deploy a local testnet to test.
1. Can connect with the public testnet (Jupiter) to verify.
1. Can generate a smart contract project's directory.
1. Can use Redspot commands to do “compile”, “deploy”, “test”