Changelog

New Pages

• Leader leases versus quorum writes — 141 words
• Crash versus Byzantine faults — 256 words
• Notes on LLM anti-intelligence — 263 words

Edited Pages

• Cryptography and blockchain:

  • - Tech:
  • - Uxtreeo
  • - Bitcoin Core PR review group
  • - A Formalization of Cross-Domain Maximal Extractable Value
  • - Fully Homomorphic Encryption (FHE)
  • - Tiny BFV HE implemented in Tinygrad
  • - How does a skip ratchet work?
  • - Probabilistic sampling:
  • - Recursion in cryptographic computation schemes:
  • - ZK proofs
  • - SNARK’s can themselves implement verifiers for SNARK’s (recursive verification)
  • - FHE.
  • - FHE circuits theoretically implement decryptors of their own encrypted state
  • - Merkle signature scheme / one-time signatures
  • - Information retrieval
  • - Private Information Retrieval (PIR).
  • - Puzzles
  • - Hashcash, POW puzzles
  • - Order-preserving encryption
  • - Functional Encryption
  • - Short: Classic public key encryption + new ability to generate keys specific to functions that compute over the encrypted data and return public output.
  • - Example usage of private contact tracing: Phones encrypt users’ location logs. Health authorities hold functional keys that only reveal whether two users were co-located within a time window—without revealing their full location histories
  • - Indistinguishability Obfuscation
  • - Network Time Protocol attacks
  • - https://vitalik.eth.limo/general/2019/04/03/collusion.html
  • - How does a skip ratchet work?
  • - Probabilistic sampling.
  • - https://vitalik.ca/general/2019/04/03/collusion.html

• The Grokster Decision - Ode To Thomas Jefferson:

  • From GrokLaw:
  • Archived from GrokLaw: https://web.archive.org/web/20110306204631/https://www.groklaw.net/article.php?story=3

• The Path Matters:

  • Archived from: https://boz.com/articles/the-path-matters

• The World According to Rene Girard:

  • Archived from: https://eriktorenberg.substack.com/p/the-world-according-to-rene-girard

• Distributed systems:

  • ## Replication
  • - quorum-based replication
  • - chain replication

• Fallacies of distributed computing:

  • https://en.wikipedia.org/wiki/Fallacies_of_distributed_computing

• John Carmack UpperBound 2025 talk:

  • - Markdown
  • Archived from: https://docs.google.com/document/d/1-Fqc6R6FdngRlxe9gi49PRvU97R83O7ZTN_KFXo_jf0/edit?tab=t.0#heading=h.blcl01j3jyj6
  • - Markdown

• UpperBound 25 talk notes:

  • # UpperBound 25 talk notes

• Programming:

  • - See Notes on abstraction in mathematics versus computer science.
  • ## Things I’m learning about.
  • - Parakernels
  • - the original client, in order to discover peers, would ping random IPv4 addresses. this isn’t even as hairbrained as it seems. you can query the entire ipv4 address space in 16mins
  • - The core elliptic curves of ZK-STARK’s were discovered computationally. They had to search for the parameters of two elliptic curves - MNT4 and MNT6 - which took over 610,000 compute hours
  • - Did you know, this was originally called the Albanian Generals problem (and hence Albanian Fault Tolerance) before they realised that might be a bit touchy..
  • ## Quotes
  • > git actually has a simple design, with stable and reasonably well-documented data structures. In fact, I’m a huge proponent of designing your code around the data, rather than the other way around, and I think it’s one of the reasons git has been fairly successful […] I will, in fact, claim that the difference between a bad programmer and a good one is whether he considers his code or his data structures more important.
  • > Bad programmers worry about the code. Good programmers worry about data structures and their relationships.
  • - See Notes on abstraction in mathematics versus computer science.
  • - the original client, in order to discover peers, would ping random IPv4 addresses. the funny thing is this isn’t as hairbrained as it seems. you can query the entire ipv4 address space in 16mins
  • - The core elliptic curves of ZK-STARK’s were discovered computationally. They had to literally search for the parameters of two elliptic curves - MNT4 and MNT6 - which took over 610,000 compute hours
  • - Hahha did you know, this was originally called the Albanian Generals problem (and hence Albanian Fault Tolerance) before they realised that might be a bit touchy..

• Science:

  • - Cable bacteria