Session Title: Implementing and Testing Mathematical Computations in Substrate
Host: Colin Grove
Team Name: HydraDX
Challenges with fixed-point math and rounding error issues are faced by all blockchain developers, as are the severe consequences of rounding errors in favor of a potential attacker. This session would be a discussion of what tools, processes, and strategies different teams building on Substrate use to efficiently push exploit-free code.
I would start by going through some internal guidelines we at HydraDX are developing on how to write mathematical code and in particular how to write tests, to give the conversation a starting point. But we are not by any means experts and this session is intended to be a conversation in which we can all learn from each other. Although many of the principles involved could be useful for any blockchain development, by focusing on Substrate we can dive deep into very specific details and tools.
Possible topics covered:
- Numerical methods for fixed-point math
- Numerical analysis, rounding error analysis
- Property testing and other testing approaches
- Arbitrary-precision math crates/strategies (like rug) for testing code