Releases

Developer SDK for embedding MockForge in tests and applications

Implementation of the BLS12-381 pairing-friendly elliptic curve construction. This is a fork from zkcrypto/bls12_381 but adds hash to curve and multiexponentiation methods as well as enables multi-pairing without the allocator requirement.

Low-latency native OpenIPC FPV ground station built with egui

Rust library to parse JUnit XML files

AMQP protocol support for MockForge

This package provides a Rust API for OWL that adheres as closely as possible to the OWL 2 Web Ontology Language Structural Specification.

Z3 SMT translation validation for the Synth compiler

ZKsync GPU wrapper prover

The Doubleword Control Layer - A self-hostable observability and analytics platform for LLM applications

Both cuda and cpu based proof compression and wrapping chain

Shvini is a library implementing a GPU-accelerated zkSync prover

CUDA implementation of the fflonk prover

ZKsync GPU prover utilities

ZKsync GPU FFI

Boojum-CUDA is a library implementing GPU-accelerated cryptographic functionality for the zkSync prover

CUDA bindings for ZKsync

Raw CUDA bindings for ZKsync

Ditto is a peer to peer cross-platform database that allows mobile, web, IoT and server apps to sync with or without an internet connection.

Native bindings to Ditto library

ZKsync Era proving utilities

ZKsync Era KZG implementation

ZKsync Era circuits definitions

ZKsync Era circuits encodings

ZKsync Era circuits for EraVM

LanceDB: A serverless, low-latency vector database for AI applications

Rust bindings to the LLZK C API.

Rust bindings to the LLZK C API.

Stream macOS screen to browser over LAN. Zero-copy ScreenCaptureKit, hardware H.264 encoding via VideoToolbox, ~10ms pipeline latency, ~3% CPU.

Semantic JSON & XML diff tool with a native GTK4 desktop UI

VST3 implementation layer for the Beamer audio plugin framework