4
$\begingroup$

This might be a silly question. But since more and more people simply use public blockchains as a secure ledger to store mutually agreed information to secure their high level applications, could we abstract blockchains as a secure ledger primitive that has the following properties:

  • Append-only
  • Tamper-proof (by minority of the participants)
  • Universally consistent view (under certain synchrony assumptions),

of course which applies to secure permissionless blockchains only. My question is, what prevents an abstracted secure blockchain to be defined/considered a cryptographic primitive? Does it need a paper or standard document that presents a formal definition and a security proof, or are there some deeper rules basically says primitives can only be very low level fundamental constructions?

This comes from reading recent advancements of transparency logs and makes me realize the border between blockchain and secure public transparency logs (such as a distributedly maintained append-only merkle tree) are getting blurred.

Edit Nov. 2023: As @Paul suggests, this is a useful discussion -> What's a cryptographic primitive, really?

$\endgroup$

2 Answers 2

1
$\begingroup$

No, because it's not simple (primitive).

The following is a cryptographic construct that facilitates encryption and authentication:-

aes-gcm

And it has a lot of bits to it (not a pun). Building blocks if you will. As does a block chain. And it's complex, as is a distributed block chain. The encryption $E_K$ is a component, like the XOR mathematical function (not cryptographic). Lego bricks (UK nomenclature).

You could make the argument that block chains are cryptographic in the same sense of game theory, key exchange and secure multi party random number generation all falling within the cryptographic realm. But all of those are built atop simple (primitive) operators like block ciphers, hash functions and ridiculously sized prime number functions. They're applications. So they're not building blocks. They're houses made of bricks. They're not simple and can be sub divided into smaller cryptographic operations.

Storing Ethereum non-fungible tokens of REALLYREALLYRANDOM's CIO is not simple thus not primative. See What's a cryptographic primitive, really?. The answer is really in the name.

$\endgroup$
3
  • $\begingroup$ What you are saying is that a valid primitive, such as block ciphers, must be deterministic, have clear specifications and thus straightforward enough for direct implementation and use. This appears more like a standardization problem to me. High-level functionalities can also be formally modelled to be clear-spec-ed, deterministic and straightforward through standardization. For example digital signatures. This comes all the way back to the question-- if signatures can, why not blockchain? What hard rules prevent blockchain being considered a primitive and thus be standardized? $\endgroup$ Commented Aug 7, 2023 at 3:32
  • $\begingroup$ @ChunchiLiu Not quite. I think that you're conflating 'primitive' with 'standard'. Digital signatures are not primitives. My public key fingerprint 4681 231D 8C80 3275 3619 3768 721F C0D5 5B4E 7E0B relies upon simple hash functions and prime factorisations.It's standard but not a primitive. Just as the above algorithm is built atop a block cipher, $E_K$. $\endgroup$
    – Paul Uszak
    Commented Aug 7, 2023 at 5:08
  • $\begingroup$ See one way functions. When you draw together enough mathematics to make it difficult to invert a certain function, it becomes a cryptographic primitive. A building block of perhaps a block chain, but also perhaps an authentication token. The hard rule is sub division. Can it be split up into simpler pieces that are still hard to invert? $\endgroup$
    – Paul Uszak
    Commented Aug 7, 2023 at 5:20
1
$\begingroup$

One man's primitive is another man's high-level abstraction. If you want to consider it a primitive, then you could say blockchain is a realization of "bulletin boards". You can find such usages in the literature eg. here.

$\endgroup$
2
  • 2
    $\begingroup$ The problem for me is that there is a lot of different bulletin board systems. For me a cryptographic primitive needs to be more or less a drop in replacement for other primitives of the same type. I'm not sure if such a generic "bulletin board" primitive can be defined. $\endgroup$
    – Maarten Bodewes
    Commented Aug 5, 2023 at 3:19
  • 1
    $\begingroup$ @MaartenBodewes-onstrike Fair enough. I consider something a primitive if I can define a functionality for it that I can realize with different constructions. This way, nothing really stops anything from being primitive (ie. being used as a building block of a larger system). If you want examples of a functionality capturing blockchains in the abstract form, look at Functionality 1 of here, for example. $\endgroup$
    – Atonal
    Commented Aug 6, 2023 at 12:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.