dmpierre/sonobe-btc dmpierre/sonobe-btc

  • Stars
    star
    27
  • Rank 904,000 (Top 18 %)
  • Language
    Solidity
  • Created 7 months ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dmpierre/sonobe-btc
github

dmpierre

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Using folding schemes for a provable bitcoin light client

More Repositories

1

eth-private-market

Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
Circom
88
star
2

LINE

A PyTorch implementation of the LINE paper.
Python
43
star
3

nova-browser-ecdsa

In-browser ECDSA aggregation using Nova over secp/secq
TypeScript
34
star
4

specular-uniswap

TypeScript
15
star
5

zkrsa

Generate zero-knowledge proofs of valid RSA signatures from your browser.
TypeScript
12
star
6

sha1-circom

Generate a zero-knowledge proof for a SHA1 pre-image.
Circom
11
star
7

nova-scotia-tutorial

JavaScript
10
star
8

anon-adhaar

Prove your adhaar card's validity, while keeping your sensitive data private.
TypeScript
9
star
9

zkconnect4

Prove your connect-4 games against an RL agent using Nova.
TypeScript
8
star
10

sonobe-workshop

Rust
5
star
11

kzg-solvency

Rust
5
star
12

ark-light-bitcoin-client

R1CS for verifying bitcoin pow using btc block headers and arkworks.
Rust
3
star
13

jubjub-signature-pcd

TypeScript
2
star
14

ark-algorithms

Exploring cryptography algorithms with arkworks (mostly zk/snark related)
Rust
1
star
15

mvamm

Learn DeFi basics with a minimum viable automated market maker
Jupyter Notebook
1
star
16

air-ccs

The AIR to CCS algorithm, implemented with arkworks
Jupyter Notebook
1
star