Skip to content
@babybear-labs

Babybear

15 * 2 ^ 27 + 1
README.md

Babybear

𝑝 = 15 * 2^27 + 1

Projects

  • zkbench - Benchmark of ZKVMs and Proving Schemes
  • zkguard - Enforce policies on blockchain transactions before execution, without revealing the policy
  • zk doc - ZK learning documentation
  • chain rs - Experimental blockchain node built from scratch
  • gkr-proof-recursion - Recursive GKR Proof Compression
  • tokenized vault - Yield-bearing smart contract
  • zkml - ZK proof system for handwriting/signature verification
  • gvm - GKR based ZKVM
  • provekit - Client Side Proving, Noir frontend + R1CS + Whir + Sumcheck - Forked from world foundation
  • sumcheck - Interactive cryptographic proof system
  • poseidon2 - Poseidon2 hash function
  • simd-gpu - simd, gpu experiments
  • folding-bench - Folding scheme study, bench

Maintainer

Pinned Loading

  1. benchmark benchmark Public

    Benchmark of ZKVMs and Proving Schemes

    Rust 32 8

  2. ZKML-Bootcamp ZKML-Bootcamp Public

    Zero-knowledge proof system for handwriting /signature verification

    Jupyter Notebook 3

  3. GKR-proof-recursion GKR-proof-recursion Public

    [WIP] Efficient Onchain Verifier with GKR Proof Recursion

    Rust 2

  4. Vault Vault Public

    Forked from solidity-bootcamp-group-5/final-project

    Yeild aggregator for lending protocols

    Solidity

Repositories

Showing 10 of 19 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…