08:44:12 I would certainly need your help kayabanerve . To understand the ideas and also the code. 08:45:19 I still dont know how big the task is but my approach would be starting from a high level of functionalities until the crypto operations. I might not get until the bottom but that is my goal now. 08:50:39 Three questions for you already: 08:50:40 1) How stable is the code so far? Do you still foresee changes in the verification/generation proofs? 08:50:42 2) What would be the most difficult part in your opinion? 08:50:44 3) Do you think that the crypto operations could be done with standard crypto libraries or there are some really new crypto operations and curves that are defined anywhere? 08:51:33 Three questions for you already: 08:51:34 1. How stable is the code so far? Do you still foresee changes in the verification/generation proofs? 08:51:36 2. What would be the most difficult part in your opinion? 08:51:38 3. Do you think that the crypto operations could be done with standard crypto libraries or there are some really new crypto operations and curves that are not defined anywhere? 08:52:40 I'm sorry. I'm still catching up with the latest developments and I have many questions that are already answered somewhere I think. 16:43:02 You will probably need to implement Helios / Selene curve operations in Python . don't think that that has a Python impl yet 16:52:14 How much of the tree reading and tree management "stuff" will probably be needed for being sure that "there is no inflation"? 17:04:38 Cuprate will be reimplementing some tree management stuff, pretty much everything not done by Rust in monerod will have to be re'impld in Rust for Cuprate 17:05:45 I do wonder if instead of python a C/C++ rewrite would be better, with potential to modify to monerod to use that impl. 17:07:28 dangerousfreedom @dangerousfreedom:matrix.org: The GBP itself requires an update as identified by CS. The rest should be stable. 17:08:04 The most difficult part will be representing the same ordering of the matrii without simply copying the designed which effected that order in my code line-by-line 17:08:19 You will need Helios and Selene libraries, but that should be it. 17:08:47 boog900: CCS for a C++ rewrite welcome 17:09:04 Personally, I'd want a C++ rewrite with potential for Cuprate to use it /s 17:10:48 It would be convenient for monerod to not have Rust as a build dependency 17:29:50 To be sure that there is no inflation, the membership proofs should be verified. I'm willing to implement the minimum required to verify that. I dont know how much functionality the "tree stuff" has so far :p 17:30:02 Thanks for the answers kayabanerve 17:33:13 I dont have the intention with my proposal to change anything or to have it used anywhere in the main code. It is just for educational/prototype purposes. It might be that I find something interesting on the way that could bring discussions and fruits too. I dont know. But I'm definitely for implementations in all other languages, specially C++. 17:34:55 So maybe something that would be useful to me as well would be the basic crypto implementation in C++ with some bindings exposed. Like the Helios/Selene classes. 17:35:44 If you don't have to handle reorgs, as you don't, it is comparable to building a standard Merkle tree and shouldn't be too bad, just slow compared to building a standard Merkle tree due to the choice of hash fn. 17:36:34 FWIW, you _can_ bind Rust into the C ABI. It's fundamentally how monerod talks to the Rust libs. 17:37:50 Yes, thanks. I'm pretty sure I could do it but the idea would be to use a different crypto library for the basic operations. 17:39:44 Of course the results should be the same and that might sound a stupid idea but after thousands of crazy operations something weird might happen. Most likely errors in my code. So at least some discussions would appear from that. 17:41:30 But yeah, my plan was to initially use your bindings and have a top-down approach. As it makes more sense to me. 18:06:26 Rbrunner there is an unreviewed python implementation of polyseed i forgot to mention, not sure if useful for you 18:23:12 Agreed another impl of the curves would be true to spirit and beneficial :) 18:43:58 https://github.com/DiosDelRayo/polyseed-python 19:30:41 plowsof: Thanks, didn't know that one, interesting. I only found one in Dart beside tevador's original. But this does not touch what I currently investigate and may implement for the core Monero software, because that will use the C++ code. 19:31:18 MoneroSigner has somehow fizzled out, right? A bit of a pity. 19:35:15 I'm interested: what's that Dart example if you remember? I'm aware of the dart re-impl of a lot of monero math in https://github.com/mrtnetwork/monero_dart but I don't see polyseed in it 19:42:27 Josh Babb: https://github.com/cake-tech/polyseed_dart.git 19:42:46 I think I saw Cake Wallet using it, not sure, I looked at so many things ...