feat: more final touches (#194)

Co-authored-by: John Guibas <[email protected]>

.github/workflows/book.yml

@@ -3,19 +3,12 @@
 
 name: book
 
-# on:
-#   push:
-#     branches: [main]
-#   pull_request:
-#     branches: [main]
-#   merge_group:
-
 on:
   push:
     branches: [main]
   pull_request:
-    branches:
-      - "**"
+    branches: [main]
+  merge_group:
 
 jobs:
   # test:

README.md

@@ -1,5 +1,7 @@
 # Curta
 
+[![Telegram Chat][tg-badge]][tg-url]
+
 The first performant, 100% open-source, contributor-friendly zero-knowledge virtual machine (zkVM) that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs.
 
 ![](assets/curta.svg)
@@ -10,6 +12,9 @@ Curta is inspired by the open-source software movement and takes a collaborative
 | [Docs]()
 | [Examples]()
 
+[tg-badge]: https://img.shields.io/endpoint?color=neon&logo=telegram&label=chat&url=https://tg.sumanjay.workers.dev/succinct_curta
+[tg-url]: https://t.me/succinct_curta
+
 ## Install
 
 Make sure you have [Rust](https://www.rust-lang.org/tools/install) installed. Open your terminal and run the following command:
@@ -46,7 +51,7 @@ Note that the `RUST_LOG` and `RUST_TRACER` enviroment variables can be set to di
 
 If you want to build the `cargo-prove` CLI from source, run the following commands:
 ```
-git clone ssh://git@github.com/succinctlabs/curta
+git clone https://github.com/succinctlabs/curta.git
 cd vm
 cd cli
 cargo install --locked --path .

book/introduction.md

@@ -1,4 +1,4 @@
-# Curta zkVM
+# Curta
 
 [![Telegram Chat][tg-badge]][tg-url]
 
@@ -8,8 +8,8 @@
 
 Curta zkVM is the first performant, 100% open-source, contributor-friendly zero-knowledge virtual machine (zkVM) that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. 
 
-[tg-badge]: https://img.shields.io/endpoint?color=neon&logo=telegram&label=chat&url=https%3A%2F%2Ftg.sumanjay.workers.dev%2Fparadigm%5Freth
-[tg-url]: https://t.me/paradigm_reth
+[tg-badge]: https://img.shields.io/endpoint?color=neon&logo=telegram&label=chat&url=https%3A%2F%2Ftg.sumanjay.workers.dev%2Fsuccinct%5Fcurta
+[tg-url]: https://t.me/succinct_curta
 
 ## The future of truth is programmable