Awesome
Status
This Rust implementation of EIP1962 is complete to the large extend. If course it's possible to polish further (e.g. make it no_std
compatible), but largest part is done:
Features:
- Fields implementation
- Weierstrass curves implementation
- a = 0
- generic case (a != 0, b != 0)
- Extension towers
- Fp2
- Fp3
- Fp4 as 2 over 2
- Fp6 as 2 over 3
- Fp6 as 3 over 2
- Fp12 as 2 over 3 over 2
- Pairings
- BLS12 curves family
- BN family
- MNT6 family
- MNT4 family
- Cocks-Pinch method generated curves in Weierstrass form (Ate pairing) with k=6
Testing:
- Basic properties are tested during development (whitebox testing) in a form of e.g. bilinearity checks for pairings
- Fuzzy testing in cross-checks mode with C++ and Go implementations that catches both crashes in any of the libraries and tests for a consistent output (for consensus purposes)
- During such testing most of the checks are disabled, e.g. points are allowed to be not on the curve cause it would be difficult for a fuzzer to find a proper test vector. So such testing covers more edge cases then would be possible in production
Documentation about EIP1962
See documentation folder for a complete description and the single source of truth about EIP.
Original proposal
Original EIP is here
Contributors
- Kobi Gurkan, kobigurk@gmail.com