1,063 karma · joined June 22, 2010
http://shriphani.com/
I am a cryptographer and I work on zero-knowledge proofs, and privacy
symmetric ciphers would have similar properties (AES, CHACHA20). Asymmetric encryption atm would use ECDH (which breaks) to generate a key for use with symmetric ciphers - Kyber provides a PQC KEM for this.
So, the situation isn't as bad. We're well positioned in cryptography to handle a PQC world.
- Anonymous credentials (this is what Signal does) - maintain an encrypted blob representing a group chat (members list etc all stay encrypted and Signal cannot tell who is in a group chat). A normal client can provide a zkp that they are in a particular group chat (the decrypted blob contains this member for example) and have a message delivered to other group members. Both the client and the recipient can keep their identities encrypted and the zkp proves the membership of the plaintext client / recipient.
- Encrypt some metadata of a message sent to someone. You can build a ZKP that the plaintext behind the encrypted metadata satsifies some properties such as recipient is not in some blacklist (and so on). All this can be done by maintaining privacy because the metadata stays encrypted.
- Given an electronic medical record, you can prove that the record contains a vaccine without sending the record over the wire to some other party.
Lots more such ideas exist.
zkVMs are a good place to start playing with things.
He was an towering intellect and positively influenced any situation he was placed in - the odometer, the mapping of the gulf stream, counterfeit detection for paper bills are so far removed from his background in publishing, and later role as statesman - I can't think of anyone since who had such an striking impact; certainly no contemporary leaders who will be remembered so fondly 200 years from today.
Rust OTOH feels highly malleable and the tooling is always improving. The community seems to care about a good user experience across several domains - web, systems, networking, cryptography, desktop gui, and over the last 2 - 3 things are really coming together as coherent whole.
This is a torii gate that has been in progress for a while: https://www.instagram.com/p/Cm7LNGRP8-r/?hl=en and I plan to finish it this year (painting + gilding + carving)
He (and maybe Mark Twain) have this ability to write sentences that burrow deep in your head and stay there forever.
A sample: "Those who believe in telekinetics, raise my hand."
- you can dump the image using `docker save <name>`. - you can then get a list of the tarballs in this image by extracting this tarball and reading the file `manifest.json`; `Config` -> `Layers` will give you a list of tarballs (see undocker for how to do this: https://github.com/larsks/undocker) - Untar these in a directory and use linux tools to convert this dir to a rootfs.
"A few Americans, but very few, still have extended families. The Navahos. The Kennedys."
https://www.goodreads.com/quotes/300997-ok-now-let-s-have-so...
Wonder what those areas were like pre-internet and pre-social media. Do you have a blog post or pics somewhere?
[1] https://docs.rs/dialoguer/latest/dialoguer/ [2] https://github.com/console-rs/indicatif [3] https://docs.rs/colour/latest/colour/
OTOH, really amazing project to put together quick packet-level prototypes. Really shows the strength of the python ecosystem.
People will run servers on their computer if it is (i) motivated the right way, (ii) as frictionless as possible.
For the types of applications that web2 is great at (content creation / consumption), it makes no sense to run a server of course but computing is a lot bigger than that.