Problem statement
https://en.wikipedia.org/wiki/Secure_multi-party_computation
https://github.com/binance-chain/tss-lib
The current implementation of TSS/MPC lack scalability and have an upper bound for the subset of nodes that can be included in an MPC without loosing in speed:
- In the production environment current most used TSS/MPC library binance TSS can support 20-30 nodes
- This limit decentralization possibility of a protocols building on top of that solution
- There were several attempts to improve this situation
but none of them proved to be time tested and none have formal crypto verification
The task
- Do research on current proposals for scaling improvements
- a SWOT analysis of a current solution
- a cryptoanalysis on proposed solutions
- Identify good and bad patterns of a cryptographic primitives that usually used is a such protocol
- Propose or select an algorithm that can be used to scale a TSS/MPC setup
- Propose an argument and formal verification why this setup
- Implement a Proof of Concept of this algorithm with any approved languages (Rust/GO)