zkas
zkas is a compiler for the Halo2 zkVM language used in DarkFi.
The aim of this book and the repository in general is to document the specification of the zkVM language and also to be the reference zkas implemenation.
Language and compiler for the Halo2 zkVM
zkas zkas is a compiler for the Halo2 zkVM language used in DarkFi. The aim of this book and the repository in general is to document the specificatio
Resource links
Contents
Share this repo
Related Repos
A (de)serializer for RLP encoding in ETH Cargo.toml serlp = "0.1"
serde = { version = "1.0", features = ['derive'] }
Not Supported Types bool float n
venko ✌️ Venko: Rails for realtime finance on Solana. About Venko is a protocol for issuing streams of tokens. It is designed for a variety of usecase
64
Sealevel Attacks Examples of common exploits unique to the Solana programming model and recommended idioms for avoiding these attacks using the Anchor
24
soga Yoga alternative Test cargo test Use use soga::flexbox::FlexBox;
use soga::flexbox::FlexItem;
use std::convert::TryInto;
fn main() {
let mut
quickdna Quickdna is a simple, fast library for working with DNA sequences. It is up to 100x faster than Biopython for some translation tasks, in part
74
Pong A Linux program that replies to ping but modifies the payload of the ICMP package to get lower ping times in some ping implementations. See https
12
A simple and convenient way to bundle owned data with a borrowing type. The Problem One of the main selling points of Rust is its borrow checker, whic
14
DACquiri A compile-time enforced authorization framework for Rust applications. Authorization In typical applications, authorization checks are perfor
24
Postsack A high level visual overview of swaths of email TLDR! A web demo that shows how Postsack clusters a set of 10.000 fake emails Do you have man
11
eos eos is a datetime library for Rust, aimed at being robust, simple, and easy to use. eos is made with the assumption of operating under a proleptic
217
Rust S̵̓i̸̓n̵̉ I̴n̴f̶e̸r̵n̷a̴l mutability! Howdy, friendly Rust developer! Ever had a value get m̵̯̅ð̶͊v̴̮̾ê̴̼͘d away right under your nose just when
backtrace-error This is a tiny crate that provides a tiny error-wrapper struct BacktraceError with only two features: Captures a backtrace on From-con
17
log4j_interpreter A Rust library for evaluating log4j substitution queries in order to determine whether or not malicious queries may exist. Limitatio
wsdl2kotlin Creates wrapper klasses in Kotlin for CXF java classes generated from WSDL specifications. Features Data classes for all DTO's Even for in
14
zkas zkas is a compiler for the Halo2 zkVM language used in DarkFi. The aim of this book and the repository in general is to document the specificatio