From 1c50b19b370e4e182ae4fca64c2ffa076de17e9d Mon Sep 17 00:00:00 2001 From: Leo Lara Date: Tue, 11 Jun 2024 19:09:44 +0800 Subject: [PATCH 1/3] Add project chiquito --- data/projects/chiquito.ts | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 data/projects/chiquito.ts diff --git a/data/projects/chiquito.ts b/data/projects/chiquito.ts new file mode 100644 index 00000000..c5f30131 --- /dev/null +++ b/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"], + }, +} \ No newline at end of file From 023382a3d431e31c905bacfa9061144611fe9a18 Mon Sep 17 00:00:00 2001 From: Leo Lara Date: Sat, 15 Jun 2024 06:51:52 +0800 Subject: [PATCH 2/3] Add chiquito to projects.ts --- data/projects.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/data/projects.ts b/data/projects.ts index 145c3533..06e5bc1a 100644 --- a/data/projects.ts +++ b/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" export const ProjectLinkIconMap: ProjectLinkType = { github: GithubIcon, From d37a02717fb908c2db54599bba3aaab8537ad580 Mon Sep 17 00:00:00 2001 From: Leo Lara Date: Sun, 16 Jun 2024 17:30:11 +0700 Subject: [PATCH 3/3] Add to projects array --- data/projects.ts | 1 + data/projects/README.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/data/projects.ts b/data/projects.ts index 1d8b6c9d..f1ae2960 100644 --- a/data/projects.ts +++ b/data/projects.ts @@ -88,5 +88,6 @@ export const projects: ProjectInterface[] = [ zk3, voicedeck, zkemail, + chiquito, maciRPGF ] diff --git a/data/projects/README.md b/data/projects/README.md index 7f0aa943..f7c9ad39 100644 --- a/data/projects/README.md +++ b/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