Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
fusionrules
fusion rules for group theoretical fusion categories
GroupTheoretical
GAP codes for computing (pre)modular data from finite groups.
lala-land
mobile game
quilc
The @rigetti optimizing Quil compiler.
stand-in-language
A simple but robust virtual machine
junkicide's Repositories
junkicide/agda
Agda is a dependently typed programming language / interactive theorem prover.
junkicide/anoma
Implementation of the Anoma protocol in Rust
junkicide/cl-veq
mostly practical and reasonably fast 2-4d vector and matrix operations with some broadcasting.
junkicide/collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
junkicide/cupcake
A Rust library for lattice-based additive homomorphic encryption.
junkicide/emacs-config
junkicide/exercism
code challenges in rust from exercism
junkicide/geb
junkicide/hacspec
A specification language for cryptography primitives.
junkicide/halo2-examples
Include halo2 example circuits
junkicide/halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
junkicide/junkicide.github.io
junkicide/lambdaworks
The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
junkicide/lisp-rs
junkicide/namada-testnets
Testnet configurations and coordination for the Namada network.
junkicide/noir
Noir is a domain specific language for zero knowledge proofs
junkicide/openzl
Zero-Knowledge Cryptography Infrastructure Stack
junkicide/otti
A zkSNARK compiler for optimization problems
junkicide/pck-cert-parse
Parse / verify PCK certificates
junkicide/plonk
A pure Rust PLONK implementation using arkworks as a backend.
junkicide/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
junkicide/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
junkicide/rust-eth-checksum
Ethereum address checksum library and CLI in Rust
junkicide/taiga
A framework for generalized shielded state transitions
junkicide/tasm-lang
Writing tasm with Rust syntax
junkicide/tbyte
tiny bytecode interpreter in Haskell
junkicide/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
junkicide/weird
Generative art in Common Lisp
junkicide/zkevm-circuits
junkicide/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.