Merge pull request #170 from leolara/leo/create-project-chiquito

Add project chiquito

data/projects.ts

@@ -39,6 +39,7 @@ import { zkitter } from "./projects/zkitter"
 import { zkml } from "./projects/zkml"
 import { Zkopru } from "./projects/zkopru"
 import { zkp2p } from "./projects/zkp2p"
+import { chiquito } from "./projects/chiquito"
 import { maciRPGF } from "./projects/maci-rpgf"
 
 export const ProjectLinkIconMap: ProjectLinkType = {
@@ -87,5 +88,6 @@ export const projects: ProjectInterface[] = [
   zk3,
   voicedeck,
   zkemail,
+  chiquito,
   maciRPGF
 ]

data/projects/README.md

@@ -1,6 +1,6 @@
 ## Add new project to projects list
 
-1. Add new file inside `[...]/data/projects.ts` folder
+1. Add new file inside `[...]/data/projects` folder
 2. Add project details inside the file already created, to easily include all the required parameters make sure to use the `ProjectInterface`
 
 ```js
@@ -17,7 +17,7 @@ export const example: ProjectInterface = {
 }
 ```
 
-3. Include the exported constant of the project in `projects.ts`
+3. Include the exported constant of the project in `projects.ts` and add it to the array `projects` in that file.
 
 ## Show badges in the project card
 

data/projects/chiquito.ts

@@ -0,0 +1,26 @@
+import { ProjectInterface } from "@/lib/types"
+
+const description = `
+Chiquito is a high-level structured language for implementing zero knowledge proof circuits, currently being implemented in the DSL Working Group of PSE. It is a state machine zk-language that provides better syntax and abstraction. It can automatically compiler arbitrary boolean expressions for state machine transitions. It can optimise the resulting arithmetization. Chiquito has a Halo2 backend, which is a low level zkDSL that writes circuits using the PLONKish arithmetization and is working on supporting additional backends. Chiquito circuits can be written using both Python and Rust. 
+`
+
+export const chiquito: ProjectInterface = {
+    id: "chiquito",
+    section: "pse",
+    projectStatus: "active",
+    image: "",
+    name: "chiquito",
+    tldr: "A modern ZKP language and compiler for plonkish and AIR arithmetizations",
+    description,
+    links: {
+        github: "https://github.com/privacy-scaling-explorations/chiquito",
+        website: "https://docs.pecadorplonkish.xyz/",
+        twitter: "",
+    },
+    tags: {
+        themes: ["build"],
+        types: ["Legos/dev tools", "Lego sets/toolkits", "Proof of concept", "language", "dsl"],
+        keywords: ["DSL", "language", "rust", "python", "halo2"],
+        builtWith: ["halo2", "rust"],
+    },
+}