Kimi K2 is the large language model series developed by Moonshot AI team

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…

A curated list of awesome things related to learning and programming in Noir.

ZK-based verifier for Intel SGX/TDX DCAP quotes

An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on Azure Confidential Computing.

Python to Rust transpiler

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Connectome-constrained Latent Variable Model of Whole-brain Neural Activity, ICLR 2022

https://link.excalidraw.com/l/60rqH4GH77i/4WxHRHEbXzB

Halo2 circuit for verifiable encryption based of the hashed ElGamal scheme

Implementation of the LLaMA language model based on nanoGPT. Supports flash attention, Int8 and GPTQ 4bit quantization, LoRA and LLaMA-Adapter fine-tuning, pre-training. Apache 2.0-licensed.

Reference implementation of the Filecoin Virtual Machine

Gas-efficient and blazing fast proving for private signaling

educational python plonk implementation, based on vitalik's py_plonk

Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)

home of the FVM (Filecoin Virtual Machine) project ⚙️

New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau

Nova: High-speed recursive zero-knowledge arguments from folding schemes

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

A retrieval market for blockchain state

Implementation of the GraphSync wire protocol in Typescript