PayneJoe

ex ML dev, now focus on zero knowledge proving system infra within BTC space

SenseTimeTus Park , Beijing , China

Pinned Repositories

algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust00
algo-sensetime
algorithms developed in sensetime
Language:Scala6 2 04
ansj_lda
Language:Java1 1 00
arecibo
Language:Rust0 0 00
bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
Language:Rust0 0 00
BitVM
Smarter Bitcoin Contracts
Language:Rust0 0 00
crypto_research
crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
Language:Rust9 3 00
hypercube
Language:Rust0 0 00
LightDNF
DNF based on inversed index, more details please refer http://www.cnki.com.cn/Article/CJFDTotal-HDZJ201408050.htm
Language:C++3 2 00
PNova
Plonkish Nova implementation along with advanced features
Language:Rust16 3 05

PayneJoe's Repositories

PayneJoe/PNova
Plonkish Nova implementation along with advanced features
Language:Rust16 3 05
PayneJoe/crypto_research
crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
Language:Rust9 3 00
PayneJoe/algo-sensetime
algorithms developed in sensetime
Language:Scala6 2 04
PayneJoe/LightDNF
DNF based on inversed index, more details please refer http://www.cnki.com.cn/Article/CJFDTotal-HDZJ201408050.htm
Language:C++3 2 00
PayneJoe/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust00
PayneJoe/arecibo
Language:Rust0 0 00
PayneJoe/bellperson
zk-SNARK library
Language:Rust0 0 00
PayneJoe/bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
Language:Rust0 0 00
PayneJoe/BitVM
Smarter Bitcoin Contracts
Language:Rust0 0 00
PayneJoe/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
Language:Solidity0 0 00
PayneJoe/Difacto_DMLC
Distributed FM and LR based on Parameter Server with Ftrl
Language:C++0 1 00
PayneJoe/ecc_research
Early-stage research related to the Anoma protocols.
Language:Idris0 0 00
PayneJoe/generative-ai-for-beginners
12 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
Language:Jupyter Notebook0 0 00
PayneJoe/hypercube
Language:Rust0 0 00
PayneJoe/jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
Language:Rust0 0 00
PayneJoe/one-python-craftsman
来自一位 Pythonista 的编程经验分享，内容涵盖编码技巧、最佳实践与思维模式等方面。
0 1 00
PayneJoe/plonkathon
educational python plonk implementation, based on vitalik's py_plonk
Language:Python0 0 00
PayneJoe/qlib
Qlib is an AI-oriented quantitative investment platform, which aims to realize the potential, empower the research, and create the value of AI technologies in quantitative investment. With Qlib, you can easily try your ideas to create better Quant investment strategies.
Language:Python0 1 00
PayneJoe/bitcoinbook
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
Language:HTML0 0
PayneJoe/curves
Implementations of popular elliptic curves
Language:Rust
PayneJoe/groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust0 0
PayneJoe/hash-based-snargs-book-zh
Source code for "Building Cryptographic Proofs from Hash Functions"
Language:TeX0 0
PayneJoe/mathlib4
The math library of Lean 4
Language:Lean0 0
PayneJoe/rust-bitcoin-m31
Arithmetic over the M31 or BabyBear field in Bitcoin Script
Language:Rust0 0
PayneJoe/SDC
Projects for Self-driving Car on Udacity
Language:Jupyter Notebook2 0
PayneJoe/starkware-stwo
Language:Rust0 0
PayneJoe/tensorflow
An Open Source Machine Learning Framework for Everyone
Language:C++1 0
PayneJoe/vbuterin_research
Language:Python
PayneJoe/winterfell
A STARK prover and verifier for arbitrary computations
Language:Rust0 0
PayneJoe/zkp-co-learning.github.io
Language:CSS