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