the world owes Gil Segev an apology (he is third on the list after Evariste Galois and Benjamin Netanyahu)

the only correct and most honest solution is to delegate the generation of hfhe-proofs to the client

devnet supports private transactions, balance encryption, recipient hiding (at the network level) *

* recipient info is NEVER left by the client, and the payload does not contain the address

the network doesn't know not know the content of the ciphertexts, but it can perform homomorphic operations on these ciphertexts

in order for the ciphertexts to be valid and consistent with the general state, the client proves each operation on its own

at the same time, a system of equations is created with the network that has a clear outcome - the ciphertext that leaves the client must correspond to the expectation down to the bit, that is, if the client forges the ciphertext (on its own side), the network will reject it because the expectation equation is a different solution to the system of equations

a new pre-alpha client with a web interface has been published, easy to use, works on Mac, Linux, and Windows, installs in a couple of clicks, much more convenient than the terminal client, imports the seed phrase or creates a new wallet, protected by a password

will be constantly developing it, right now it works with devnet, but in a week it will be fully supported by main net as well, the network settings change in a second

the python terminal client will no longer be supported

regarding the compatibility of the mainnet and devnet, "as above, so below”

the mainnet will be updated in the coming days, and the web client is fully compatible

TAPE Proofs in HFHE and LPN ZK Proofs can be post quantum primitives (and most likely will be)

https://eprint.iacr.org/2012/513.pdf

https://link.springer.com/chapter/10.1007/978-3-031-68400-5_10

we test in prod

full flow (can be repeated 1 on 1 for experiments)