mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-01-13 16:18:07 -05:00
26 lines
1.3 KiB
TypeScript
26 lines
1.3 KiB
TypeScript
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"],
|
|
},
|
|
} |