hiroki-chen

hiroki-chen's Stars

• virtee/tdx

  Rust library for Intel TDX

  Language:Rust246

• brownsys/K9db

  MySQL-compatible database for GDPR compliance by construction.

  Language:C++31

• rapidsai/cudf

  cuDF - GPU DataFrame Library

  Language:C++8.8k943

• anilshanbhag/crystal

  GPU library for writing SQL queries

  Language:C7323

• heterodb/pg-strom

  PG-Strom - Master development repository

  Language:C1.3k166

• heavyai/heavydb

  HeavyDB (formerly OmniSciDB)

  Language:C++3k453

• lancedb/lancedb

  Developer-friendly, embedded retrieval engine for multimodal AI. Search More; Manage Less.

  Language:Rust6k434

• microsoft/Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  Language:Rust756133

• Phala-Network/zk-sgx-attester

  SGX remote attester built off RiscZero zkVM

  Language:Rust62

• zilliztech/VectorDBBench

  Benchmark designed to evaluate the performance and cost-effectiveness of vector databases.

  Language:Python683192

• milvus-io/milvus

  Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

  Language:Go33.9k3.1k

• epsilla-cloud/vectordb

  Epsilla is a high performance Vector Database Management System

  Language:C++84940

• dusty-nv/NanoDB

  Zero-copy multimodal vector DB with CUDA and CLIP/SigLIP

  Language:Python538

• arkworks-rs/circom-compat

  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

  Language:Rust256123

• noir-lang/noir

  Noir is a domain specific language for zero knowledge proofs

  Language:Rust1k261

• crema-labs/ecdsa-p384-circom

  ECDSA P384 implementation for circom

  Language:Circom17

• intel/Intel-Linux-Processor-Microcode-Data-Files

  70477

• UzL-ITS/tdxdown

  Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"

  14

• microsoft/Cornelius

  Language:C243

• pluto/aes-circuits

  Circom AES-GCM circuits

  Language:Circom293

• NilFoundation/zkLLVM

  Zero-Knowledge Proof Systems Circuit Compiler

  Language:C++30952

• trailofbits/circomspect

  A static analyzer and linter for the Circom zero-knowledge DSL

  Language:Rust24718

• guruvamsi-policharla/zksaas

  A prototype implementation of the zksaas protocol for distributed zkSNARK generation

  Language:Rust255

• personaelabs/spartan-ecdsa

  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

  Language:Rust20933

• personaelabs/efficient-zk-ecdsa

  Lowering client-side proving cost for private ZK signatures in circom

  Language:JavaScript10916

• Veridise/Picus

  Automated verification of uniqueness property for ZKP circuits

  Language:Circom765

• 0xPARC/zk-bug-tracker

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

  65472

• NSKernel/IntroductionToCalculus

  一版使用XeLaTeX整理過的精排版的微積溯源

  Language:TeX215

• domoritz/arrow-tools

  A collection of handy CLI tools to convert CSV and JSON to Apache Arrow and Parquet

  Language:Rust17113

• verse-lab/bythos

  Compositional Verification of Composite Byzantine Protocols

  Language:Coq122