Tari Mainnet is live
Tari uses an in-house implementation of the Bulletproofs+ range proving system to provide proofs that every (confidential) output in the UTXO set has a value between 0 and 2<sup>64</sup> μMinotari.
This stops folks sending people negative amounts of Minotari, or trying other nefarious tricks to try and inflate the Minotari supply in an undetectable way.
Bulletproofs plus improves substantially on the original range proof algorithm that was originally used in Monero. Bulletproofs+, as the name suggests, provides a set of incremental improvements over Bulletproofs.
In particular, it supports:
Compared to an updated fork of
the dalek-cryptography
Bulletproofs implementation, this
Bulletproofs+ implementation is:
The Tari bulletproof+ library is a fairly small piece of Rust code, but the math behind it is pretty complex. A bug in this code could lead to some catastrophic consequences for the Tari network. For this reason, we decided to partner with Quarkslab to perform a thorough review of the code and verify the correctness of the implementation.
The audit was carried out between August and October 2023 and took around 4 weeks in total.
You can
in the Github repository.
Overall, the audit went very well.
The auditors found that the implementation was faithful to the underlying theory and that the optimisations were cryptographically valid.
There was 1 LOW
severity issue related to a dependency of the library that is no longer being maintained.
There were also two INFORMATIONAL
level findings:
This is a terrific result and is largely the work of long-time Tari contributors Aaron Feickert and Hansie Odendaal.
The main Tari base node audit is wrapping up and the final report is due in the next few weeks.
We're also waiting on the final report of the Aurora wallet penetration test.
We will be announcing the results of those reviews in due course.