From 691c1d56d3b2dbd4e5a10f2618bc2afab00a0850 Mon Sep 17 00:00:00 2001 From: finaltrip Date: Tue, 11 Feb 2025 00:06:02 +0800 Subject: [PATCH] chore: fix some typos Signed-off-by: finaltrip --- evaluations/ipfs.md | 4 ++-- evaluations/zeroknowledge.md | 4 ++-- papers/Sui/sui.md | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/evaluations/ipfs.md b/evaluations/ipfs.md index 60fb158..c03c5fe 100644 --- a/evaluations/ipfs.md +++ b/evaluations/ipfs.md @@ -20,13 +20,13 @@ Dagger. It is not meant to be a criticism of IPFS. + BitSwap protocol for exchanging blocks supports multiple strategies (§3.4.2), so it should be relatively easy to add a micropayment strategy. + Uses content addressing (§3.5) -+ The Merkle DAG is simple, yet allows constucting filesystems, ++ The Merkle DAG is simple, yet allows constructing filesystems, key-value stores, databases, messaging system, etc.. (§3.5) #### Cons: - Kademlia prefers long-lived nodes (§2.1.1), which is not ideal for mobile - enviroments (although it's unclear whether there are any better alternatives) + environments (although it's unclear whether there are any better alternatives) - The default BitSwap strategy falls just short of introducing a currency with micro payments, necessitating additional work for nodes to find blocks to barter with (§3.4) diff --git a/evaluations/zeroknowledge.md b/evaluations/zeroknowledge.md index 4253e3e..ea601e5 100644 --- a/evaluations/zeroknowledge.md +++ b/evaluations/zeroknowledge.md @@ -23,14 +23,14 @@ lead to smaller proofs than zkSNARKs can provide. Tooling ------- -[Zokrates][1] is a complete toolbox for specifiying and generating and verifying +[Zokrates][1] is a complete toolbox for specifying and generating and verifying zkSNARK proofs. It's written in Rust, has Javascript bindings, and can generate Solidity code for verification. C bindings appear to be absent. [libSNARK][2] and [libSTARK][3] are C++ libraries for zkSNARK and zkSTARK proofs. libSNARK can be used as a backend for Zokrates. -[bellman][4] is a Rust libray for zkSNARK proofs. It can also be used as a +[bellman][4] is a Rust library for zkSNARK proofs. It can also be used as a backend for Zokrates. Iden3 created a suite of tools ([circom][5], [snarkjs][6], [rapidsnark][7]) for diff --git a/papers/Sui/sui.md b/papers/Sui/sui.md index 14325dc..c273aeb 100644 --- a/papers/Sui/sui.md +++ b/papers/Sui/sui.md @@ -31,7 +31,7 @@ Transactions on owned objects require 2 roundtrips to a quorum for byzantine broadcast. Transactions on shared objects require 4-8 round trips to a quorum for byzantine agreement. (Whitepaper §5, "Latency") -### Parallellism ### +### Parallelism ### Sui uses the [Move](https://github.com/MystenLabs/sui/blob/main/doc/paper/sui.pdf) language