zkFold/symbolic (opens in new tab)

Symbolic frameworkSymbolic framework This repository contains the zkFold Symbolic framework. Contents: symbolic-base: The core package of the framework, providing the Symbolic compiler and the base symbolic data types; symbolic-examples: A collection of symbolic code examples for benchmarking and testing; symbolic-ledger: An implementation of the zkFold Ledger written in Symbolic; symbolic-apps: Applications and smart contracts built with the framework by the zkFold team; symbolic-cardano: A ...