Orchestration-builder SDK for multi-agent coding workflows

PrivateClaw CLI — TEE verification and management for PrivateClaw CVMs

A CLI tool to manage a fleet of claude workers with remote control.

Kettle builds and verifies attested builds, packages that include cryptographically signed SLSA provenance.

Convert GitHub repositories to indexed PDF documents

A go library for attestation generation and verification of TEEs

A rust attestation generation and verification library for TEEs

c8s is confidential Kubernetes. It runs k8s workloads confidentially and verifiably in Trusted Execution Environments (TEEs).

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

Empowering everyone to build reliable and efficient software.

The Rust package manager

Set of O(nlog^2n) polynomial algorithms for working in non multiplicative subgroup

Ed: A theme for Hugo Sites

Email verification circuit in halo2

Just another way to enable more than one language in our readme files

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

educational python plonk implementation, based on vitalik's py_plonk

An onchain game which explores different ZK game mechanics and information asymmetry

Hardhat plugin to integrate Circom and SnarkJS into your build process.

Your self-hosted, globally interconnected microblogging community

Prototype of a DEX using Frequent Batch Auction mechanism for settling trades

✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

Public Site

Command-line program to download videos from YouTube.com and other video sites

Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game

auto ethereum withdrawal bot

Dark Forest

zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.

a web3 app