discreetlogcontracts / dlcspecs

Specification for Discreet Log Contracts
Creative Commons Attribution 4.0 International
232 stars 36 forks source link

Simpler(?) version of numerical decomposition #182

Open Tibo-lg opened 2 years ago

Tibo-lg commented 2 years ago

This PR proposes an update to the numerical decomposition document, to try to make things a bit easier to understand. I think "easy to understand" is a subjective notion though and so if people don't think this version is simpler I'll happily close this PR.

One thing to note is that unless I'm mistaken, the stated O(B*log_B(L)) seems incorrect to me as the worst case is above it.

Also if people think rust is not easy to read I could change it to typescript. I hope the code comments are enough to understand the code though.

Tibo-lg commented 2 years ago

but I think this is easier to understand

Happy to hear :)