Archive - CK's Cold Dive

Blockchains as Government?

Or, a naive attempt to apply the Fiscal Theory of the Price Level to tokenomics

May 13, 2023 •

31:20

Woops, Another Proof Framework

In which I ramble about the importance of proof frameworks and some ideas on improving protocol proofs

May 10, 2023 •

31:03

March 2023

Idealized Models for Free

In which I talk about stealing the notion of parametricity from functional programming to define idealized models of cryptographic objects.

Mar 10, 2023 •

29:55

Sketches of Meta-Cryptography

In which I describe some very early research thoughts about so-called "meta-cryptography": the analysis of cryptographic models and their…

Mar 9, 2023 •

26:09

Procrastinating on my Master's Thesis

In which I talk about some research I intend to undertake this semester, from threshold ECDSA, to bulletin boards, to robust Schnorr signatures.

Mar 8, 2023 •

26:09

Cool Another Interesting Threshold Signature In The House

In which I talk about CAIT-SITH, and why it's a pretty cool threshold ECDSA scheme with good implementation ideas and performance.

Mar 7, 2023 •

32:28

January 2023

2023 is the New 1971

Or why AI will not cause the economy to grow a bajillion times by 2030

Jan 7, 2023 •

30:03

November 2022

They Don't Know about Non-Interactive MPC

In which I rant about how much mindspace Homomorphic Encryption occupies, and how this is similar to Machine Learning vs Computing.

Nov 23, 2022 •

31:39

October 2022

Bulletin but not Bored

Why alphabetical references are better than numerical, why round complexity is of limited utility, and more!

Oct 12, 2022 •

32:51

Threshold ECDSA in Excessive Detail

In which I talk about ECDSA, and various ways of thresholdizing it.

Oct 8, 2022 •

1:17:36

Some Thoughts on Threshold Signatures

In which I give a high level overview of threshold signatures and how they work.

Oct 5, 2022 •

34:16

September 2022

On Comparing SNARKs

Why it's difficult to compare SNARKs together, and why it would be nice to have a centralized table benchmarking and comparing them nonetheless, among…

Sep 24, 2022 •

34:53

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts