A collection of games our family made on vacation

Pixel office.

Convert OCI images into polyglot ELF+tar executables that run without Docker

Verifpal plugin for Neovim

Reproduce ZKP vulnerabilities

A tool to detect potentially hallucinated or fabricated references in academic PDF papers.

A practical field guide to Proxmox VE anti-patterns: 10 ways to wreck your setup, and how to avoid them.

Share end-to-end encrypted folders live

Run LLM prompts from your shell

verified autofill

Collection of cryptography-related traits

Community Cryptography Specification Project

In this repo I implement a stark prover for learning purposes

A Rust Implementation of the PLONK ZKP System and Extensions

Wiki driven by the community, for the community of Egyptians in Germany

Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits

Anonymous Credential Exchange 2.0

Rust implementation of the Microsoft Remote Desktop Protocol (RDP)

Bitcoin library for Motoko

View HTTP/HTTPS requests made by any Linux program

The personal finance app for everyone

Compile shell scripts to static binaries.

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

A privacy-preserving Raspberry Pi home security camera that uses advanced end-to-end encryption.

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A web tool that helps you compare and visualize the performance of cryptographic operations