mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-01-14 00:28:28 -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'],
|
|
},
|
|
}
|