Merge branch 'main' into kevjue/field_extension

book/theme/head.hbs

@@ -2,5 +2,5 @@
 <meta property="og:title" content="SP1 Book" />
 <meta property="og:description" content="About
 A performant, 100% open-source, contributor-friendly zkVM." />
-<meta name="twitter:image:src" content="https://raw.githubusercontent.com/succinctlabs/ps1/main/assets/sp1.svg" />
-<meta property="og:image" content="https://raw.githubusercontent.com/succinctlabs/ps1/main/assets/sp1.svg" />
+<meta name="twitter:image:src" content="https://raw.githubusercontent.com/succinctlabs/sp1/main/assets/sp1.png" />
+<meta property="og:image" content="https://raw.githubusercontent.com/succinctlabs/sp1/main/assets/sp1.png" />

cli/src/assets/.gitignore

@@ -0,0 +1,16 @@
+# Cargo build
+**/target
+
+# Cargo config
+.cargo
+
+# Profile-guided optimization
+/tmp
+pgo-data.profdata
+
+# MacOS nuisances
+.DS_Store
+
+# Proofs
+**/proof-with-pis.json
+**/proof-with-io.json

cli/src/commands/new.rs

@@ -8,6 +8,7 @@ const PROGRAM_MAIN_RS: &str = include_str!("../assets/program/main.rs");
 const SCRIPT_CARGO_TOML: &str = include_str!("../assets/script/Cargo.toml");
 const SCRIPT_MAIN_RS: &str = include_str!("../assets/script/main.rs");
 const SCRIPT_RUST_TOOLCHAIN: &str = include_str!("../assets/script/rust-toolchain");
+const GIT_IGNORE: &str = include_str!("../assets/.gitignore");
 
 #[derive(Parser)]
 #[command(name = "new", about = "Setup a new project that runs inside the SP1.")]
@@ -44,6 +45,9 @@ impl NewCmd {
         fs::write(script_root.join("src").join("main.rs"), SCRIPT_MAIN_RS)?;
         fs::write(script_root.join("rust-toolchain"), SCRIPT_RUST_TOOLCHAIN)?;
 
+        // Add .gitignore file to root.
+        fs::write(root.join(".gitignore"), GIT_IGNORE)?;
+
         println!(
             "    \x1b[1m{}\x1b[0m {} ({})",
             Paint::green("Initialized"),