README
¶
ZkC / Corset
This repository hosts a compiler for the ZkC language, and maintains contains a legacy compiler for the (older) Corset language. ZkC is a simple imperative language designed primarily for writing programs whose executions can be proved (e.g. using a zero-knowledge proof system or similar). ZkC provides a simple syntax with fixed-width unsigned integer types and explicit memory declarations.
-
ZkC Language / Architecture / IDE Support
-
Corset Overview
-
Developers Contributing / Code of Conduct / Setup
Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
go-corset
command
|
|
|
zkc
command
|
|
|
pkg
|
|
|
asm/io/micro/dfa
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
cmd/corset/verify/picus/pcl
==================== Arithmetic Expr AST ====================
|
==================== Arithmetic Expr AST ==================== |
|
util/field/internal/generator
command
|
|
|
zkc/compiler/ast
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
zkc/compiler/ast/data
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
zkc/compiler/ast/decl
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
zkc/compiler/ast/symbol
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
zkc/compiler/ast/variable
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
zkc/compiler/codegen
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
|
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. |
|
zkc/vm/internal/checkpoint
Package checkpoint provides the data structures used to capture (a snapshot of) the state of an executing machine, so that execution can later be resumed from that point.
|
Package checkpoint provides the data structures used to capture (a snapshot of) the state of an executing machine, so that execution can later be resumed from that point. |
|
zkc/vm/internal/descriptor
Package descriptor describes the static structure of a compiled bytecode program, independently of the bytecode instruction stream itself.
|
Package descriptor describes the static structure of a compiled bytecode program, independently of the bytecode instruction stream itself. |
|
zkc/vm/internal/gogen
Package gogen compiles a ZkC bytecode program into native Go source: the "fast execution mode" alternative to interpreting the program.
|
Package gogen compiles a ZkC bytecode program into native Go source: the "fast execution mode" alternative to interpreting the program. |
Click to show internal directories.
Click to hide internal directories.