mileswatson / blockkey

Enter a new era of software licensing.

Hi, I'm Miles

💻 Skills

• My top technologies are C# and Rust, with an occasional sprinkling of JS/TS.
• I'm currently building a platform for selling software on the blockchain.
• I also know some Python, Go and Java, and sometimes I think I know AWS and Docker.
• From time to time I experiment with functional programming (F#, OCaml) or, when the stars align, quantum computing.
• My interests include distributed systems (especially decentralized ones), cloud computing, and concurrent/async programming.

---

🌐 Links

---

✍️ Latest posts

• URL Shortener with Rust, Svelte, and AWS (1/6)
• Creating Better Applications with MVVM
• What is Async Programming, and Why Should You Care?
• Programming is Ruining My Life - What I'm Doing About It

---

📈 Stats

---

Feel free to ⭐ any repos you like!

blockkey's Issues

Verifying that a MerkleTree contains a given leaf

The Merkle tree implementation should be able to prove that it contains a given leaf. It should be able to do this with data-transfer-size complexity O(log n).

Contract Abstractions

There should be a folder (e.g. crypto/contracts) which contains abstractions over public-key cryptography primitives. I think the easiest option would be to use the inbuilt libp2p types?

• PublicKey struct
  • verify(bytes)
• Signature struct
  • signee (public key?)
  • signature (bytes?)
  • verify()
• PrivateKey struct
  • new()
  • get_public()
• Contract<T: Hashable> interface, with following impl
  • sign(private key)
  • verify()

Contract could either be generic struct or generic interface. Worth discussing, although I think interface has the edge (would only need to require get / set signature if impl Hashable).

Hash Abstractions

There should be a folder (e.g. crypto/hashing) which contains abstractions over hashing primitives.

• Hash type abstraction (e.g. over [u8; 32])
  • from_bytes
  • to_string or other string format
• Hashable interface (self -> Hash)
• MerkleTree functionality over Hashable[]

Write access

          Write access

Originally posted by @Aungkhant884 in #13 (comment)