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"],
    },
}