mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-01-12 23:58:15 -05:00
42 lines
1.5 KiB
TypeScript
42 lines
1.5 KiB
TypeScript
import {
|
|
ProjectCategory,
|
|
ProjectContent,
|
|
ProjectInterface,
|
|
ProjectStatus,
|
|
} from "@/lib/types"
|
|
|
|
const content: ProjectContent = {
|
|
en: {
|
|
tldr: "A modern ZKP language and compiler for plonkish and AIR arithmetizations",
|
|
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",
|
|
category: ProjectCategory.DEVTOOLS,
|
|
projectStatus: ProjectStatus.INACTIVE,
|
|
section: "pse",
|
|
content,
|
|
image: "",
|
|
name: "chiquito",
|
|
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"],
|
|
},
|
|
}
|