-
Notifications
You must be signed in to change notification settings - Fork 40
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #191 from privacy-scaling-explorations/update-read…
…me-cleanup update project README & clean-ups
- Loading branch information
Showing
44 changed files
with
85 additions
and
274 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,26 +1,26 @@ | ||
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"], | ||
}, | ||
} | ||
id: "chiquito", | ||
section: "pse", | ||
projectStatus: "active", | ||
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"], | ||
}, | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.