docs: fix bad shareable key crypto. better explanations (#3228)

Removing an incorrect shareable key scheme.
Add lots of exposition around requirements that haven't-yet been solved.
Add diagrams
Rearranging things.
Explain proof of correct ovsk and ask in an app circuit (via the kernel
circuit).

.vscode/settings.json

@@ -126,6 +126,8 @@
   "[javascript]": {
     "editor.defaultFormatter": "esbenp.prettier-vscode"
   },
+  // Now when a new file is pasted in /yellow-paper/docs/readme.md, the image file is created at /yellow-paper/docs/images/readme/image.png.
+  "markdown.copyFiles.destination": {"/yellow-paper/**/*": "images/${documentBaseName}/"},
   ///////////////////////////////////////
   // C++/Circuits settings
   ///////////////////////////////////////

yellow-paper/docs/intro.md

@@ -2,7 +2,7 @@
 sidebar_position: 1
 ---
 
-# About
+# Editorial guidelines
 
 This "yellow paper" is a first attempt to describe the Aztec protocol in its entirety.
 
@@ -98,6 +98,8 @@ The draft subsections are mere suggestions (and serve as a helpful reminder of t
       - Block hashes tree
       - Tree Epochs
   - L1 State [Lasse]
+  - Contract State
+- Transactions
 - Bytecode [Alvaro]
   - ACIR
     - Encodings

yellow-paper/docusaurus.config.js

@@ -10,9 +10,9 @@ let macros = {};
 
 /** @type {import('@docusaurus/types').Config} */
 const config = {
-  title: "Aztec Yellow Paper",
-  tagline: "Aztec Network Specification",
-  favicon: "img/favicon.ico",
+  title: "Aztec Protocol Description",
+  tagline: "The Aztec Protocol, described.",
+  // favicon: "img/favicon.ico",
 
   // Set the production url of your site here
   url: "https://your-docusaurus-test-site.com",
@@ -22,8 +22,8 @@ const config = {
 
   // GitHub pages deployment config.
   // If you aren't using GitHub pages, you don't need these.
-  organizationName: "Aztec Labs", // Usually your GitHub org/user name.
-  projectName: "Aztec Yellow Paper", // Usually your repo name.
+  organizationName: "AztecProtocol", // Usually your GitHub org/user name.
+  projectName: "aztec-packages", // Usually your repo name.
 
   onBrokenLinks: "throw",
   onBrokenMarkdownLinks: "warn",
@@ -80,22 +80,22 @@ const config = {
     /** @type {import('@docusaurus/preset-classic').ThemeConfig} */
     ({
       // Replace with your project's social card
-      image: "img/docusaurus-social-card.jpg",
+      // image: "img/docusaurus-social-card.jpg",
       navbar: {
-        title: "My Site",
-        logo: {
-          alt: "My Site Logo",
-          src: "img/logo.svg",
-        },
+        title: "Home",
+        // logo: {
+        //   alt: "My Site Logo",
+        //   src: "img/logo.svg",
+        // },
         items: [
           {
             type: "docSidebar",
             sidebarId: "tutorialSidebar",
             position: "left",
-            label: "Tutorial",
+            label: "Protocol Description",
           },
           {
-            href: "https://github.com/facebook/docusaurus",
+            href: "https://github.com/AztecProtocol/aztec-packages",
             label: "GitHub",
             position: "right",
           },
@@ -106,18 +106,28 @@ const config = {
         links: [
           {
             title: "Docs",
-            items: [],
+            items: [
+              {
+                label: "Docs",
+                href: "https://docs.aztec.network",
+              },
+            ],
           },
           {
-            title: "Community",
-            items: [],
+            title: "Forum",
+            items: [
+              {
+                label: "Forum",
+                href: "https://forum.aztec.network",
+              },
+            ],
           },
           {
             title: "More",
             items: [
               {
                 label: "GitHub",
-                href: "https://github.com/facebook/docusaurus",
+                href: "https://github.com/AztecProtocol/aztec-packages",
               },
             ],
           },

yellow-paper/src/pages/index.tsx

@@ -18,7 +18,7 @@ function HomepageHeader() {
           <Link
             className="button button--secondary button--lg"
             to="/docs/intro">
-            Docusaurus Tutorial - 5min ⏱️
+            Read now
           </Link>
         </div>
       </div>
@@ -33,9 +33,11 @@ export default function Home(): JSX.Element {
       title={`Hello from ${siteConfig.title}`}
       description="Description will go into a meta tag in <head />">
       <HomepageHeader />
+
+      {/* TODO: put some pretty content in here:
       <main>
         <HomepageFeatures />
-      </main>
+      </main> */}
     </Layout>
   );
 }

yellow-paper/static/img/DO_NOT_USE.txt

@@ -0,0 +1 @@
+Instead, pics will be auto-pasted into an `images` subdir of any doc that you paste an image into.