Damus
robryk profile picture
robryk
@robryk

(I moved here from https://qoto.org/@robryk.)

I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.

I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.

If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.

I appreciate it if my grammar or style is corrected (in any of the languages I use here).

Relays (1)
  • wss://relay.ditto.pub – read & write

Recent Notes

rogaty gryzmoła · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq5n2tsslsw7pxqqcnkmw0fx2ylys3rxpf6y6jfhcvg778zy80qwjsmzppje Jak dla mnie plik powinien mieć na zawsze wmurowaną datę utworzenia a kopiowanie by...
robryk profile picture
@nprofile1q... @nprofile1q...

Wyobraź sobie, że masz edytor tekstu. Nie jest dziwnym, jeśli ten edytor tworzy plik na nowo za każdym razem jak go zapisujesz (w ten sposób może łatwo uniknąć uszkodzenia pliku gdyby się wywalił podczas zapisywania). Nie jest też szczególnie dziwnym, jeśli ten edytor tego nie robi. Strzelam, że chcesz, żeby "data stworzenia pliku" była taka sama w obu przypadkach; wobec tego w jej ustalaniu potrzebna jest współpraca programu, który ten plik zapisuje.

Jest wiele plików, gdzie nie za bardzo wiadomo jaka ta data miałaby być: wyobraź sobie bazę danych, która jest zapisana w katalogu, w którym czasami tworzy pliki. Z jednej strony te pliki powinny mieć datę utworzenia taką samą jak data utworzenia bazy danych. Ale jeśli niektóre można przypisać jednoznacznie do jakiejś tabeli, może te powinny mieć datę utworzenia taką samą jak data stworzenia tabeli? Albo jeśli któreś zawierają dane zapisane nie wcześniej niż moment ich stworzenia, to może powinny mieć datę stworzenia równą momentowi kiedy faktycznie zostały stworzone? Wydaje mi się, że niezbyt dobrze da się zdefiniować to czego szukasz dobrze dla wszystkich rodzajów plików.

Możnaby mieć intefejs, w którym podczas tworzenia pliku możesz podać "faktyczną" datę jego stworzenia i zapisywać te dane w systemie plików. Ciężko byłoby spowodować, żeby był w miare uniwersalnie używany, oraz nie misużywany.

Niektóre typy plików (np. docx, cokolwiek co obsługuje tagi id3) zawierają taką datę stworzenia gdzieś w środku i być może lepiej definiują co owa znaczy. Może to czego byś chciał to jakiś w miarę uniwersalny sposób czytania owych tam gdzie istnieją? (Byłoby miło gdyby `file` to umiał, ale pewnie się nie da, bo ta data pewnie jest często poza fragmentem który jest przezeń czytany.)

(BTW. szybko przywoływalne metadane backupów mogą też być pomocne, aczkolwiek raczej[1] nie powiedzą Ci, że jakiś plik był skopiowany z np. innego systemu)

[1] backupy deduplikujące możnaby pytać o pliki o podobnej zawartości, ale nie jestem świadom żadnego softwareu do nich który to obsługuje.
1
rogaty gryzmoła · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt Tak, edytor, który zapisuje plik jako nowy nadal powinien zachowywać jego datę pierwotnego powstania. Dla mnie, jako użytkownika, jest to odpowiednik tego samego świstka papieru, na...
rogaty gryzmoła · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt Żadne z powyższych. Daty tych różnych operacji na pliku sobie mogę być oddzielni...
robryk profile picture
@nprofile1q... @nprofile1q... Jeśli plik ściągniesz z Internetu, to chcesz tam widzieć datę ściągnięcia, czy datę jego oryginalnego powstania?

(To czego chcesz wygląda dość podobnie do mtime dla plików, których nigdy nie zmieniasz.)
1
rogaty gryzmoła · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt Akurat ściągniętych plików chyba nigdy nie miałem potrzeby sprawdzać pod tym kątem. Chodzi o to, że chciałbym czasem po dacie powstania pliku dowiedzieć się kiedy coś robiłe...
rogaty gryzmoła · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt Żadne z powyższych. Daty tych różnych operacji na pliku sobie mogę być oddzielnie, a ja bym chciał zawsze mieć łatwy dostęp do daty jego pierwotnego powstania. nostr:nprofile1...
Neil Brown · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqrsjjkguerepp3dmh7xw5rnvckvz56hs...
robryk profile picture
@nprofile1q... @nprofile1q...

If there's a maybe-low-bandwidth way to pass on information alongside the ciphertext that's public (attacker can read) but trustworthy (attacker can't modify) I'd transmit hashes and filenames with it.

If there isn't one, I'd sign something (e.g. with minisign): either the encrypted file itself or the kind of manifest I described above. If you want to prevent the attacker from swapping files around you need to either go a manifest-like route or use sth like the "trusted comment" in minisign to specify which file it is, and verify that at decryption-and-verification time.
Neil Brown · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqrsjjkguerepp3dmh7xw5rnvckvz56hseuu5444aql6d7cfmwpatqncfpdh > I definitely wouldn't trust single file encryption too much if the threat is diffe...
robryk profile picture
@nprofile1q... @nprofile1q...

I'm not UnePorte, but wanted to say something similar in response to your original question (that the threat model matters a lot here).

Consider attackers who can modify the encrypted file. Do you want to ensure that the file is not some weird mixture of the contents you wanted and contents the attacker put there (this particular property is ensured by `age`)? Do you want to be able to ensure that the file is not wholesale replaced by the attacker in a way that allows the attacker to control its contents? If you have two such encrypted files, do you want to ensure the attacker didn't swap them?
1
Neil Brown · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqrsjjkguerepp3dmh7xw5rnvckvz56hseuu5444aql6d7cfmwpatqncfpdh Thanks! In what ways would your recommendations change based on these...
Kevin Beaumont · 10w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqd6z9up6548e986jxnnl47c66hujgnztxeqf7z8dk8rnjl6xcpukqgcl622 once again, Denny, I’m asking you to please consider clicking the link to the docume...
robryk profile picture
@nprofile1q... @nprofile1q... I think an issue is that someone who can't see the pictures can't tell that they contain no more information. If so, alt text saying something like "screenshots of the linked document" would help with that completely.
kravietz 🦇 · 11w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt Yes, although Ukrainian side does that at much smaller scale.
kravietz 🦇 · 11w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqemktaflm039jkpnxw7t9l4l05623dg6lwuap89vzar4s22stgr7s84u6vt Yes, but not when they are sent for flag planting operations :)