Automatic Speech Recognition with Speaker Diarization based on OpenAI Whisper

Bringing rational privacy to blockchain

Automate Creation of Story-Based Videos.

Fixups for buck2

K Framework Tools 7.0

Brick Towers Sea Battle Game on Midnight Network

Rust implementation of the TLSNotary protocol

Lightweight client for Substrate-based chains, such as Polkadot and Kusama.

Frequency: A Polkadot Parachain

Midnight Node Operator tools

A curated list of zkVM, zero-knowledge virtual machine

Detect concurrency and memory bugs and possible panic locations in Rust projects

Kubectl plugin for effortless profiling on kubernetes

A wargame centered on securing the Polkadot SDK ecosystem, offering an array of missions for participants to navigate and conquer.

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

finality gadget for blockchains using common prefix agreement

A collection of midnight dapps. PRs welcome!

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…

Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.

zkSNARKs as a service using secure multi-party computation.

Eigenlayer SDK for building AVS

A powerful toolkit for building distributed systems and infrastructure as code.

The Layer 1 blockchain for on-demand services.

Zirgen compiler and RISC Zero circuits

Command Line Tool and Cardano Plutus Contracts for interacting with Partner Chains.

Implementation of Vector, Avail's data attestation bridge, in SP1.

Mozak RISC-V Virtual Machine

Substrate node with capability of communicating with Cardano network

This is the markdown for the ZK Book