Skip to content

Instantly share code, notes, and snippets.

View GopherJ's full-sized avatar
🎯
Focusing on applied ZKP

Cheng JIANG GopherJ

🎯
Focusing on applied ZKP
View GitHub Profile
@GopherJ
GopherJ / coc-pylance.md
Created June 18, 2024 10:47 — forked from nullchilly/coc-pylance.md
Add pylance to coc.nvim

Install the pylance extension in vscode or manually download it from the marketplace

The extension path should be similar to this: ~/.vscode/extensions/ms-python.vscode-pylance-2023.11.10

In init.vim, this will automatically detect the latest pylance version because after an upgrade the old plugin might linger for a while:

call coc#config('languageserver', { "pylance": { "module": expand("~/.vscode/extensions/ms-python.vscode-pylance-*/dist/server.bundle.js", 0, 1)[0] } })
@GopherJ
GopherJ / effective_modern_cmake.md
Created June 12, 2024 00:36 — forked from mbinna/effective_modern_cmake.md
Effective Modern CMake

Effective Modern CMake

Getting Started

For a brief user-level introduction to CMake, watch C++ Weekly, Episode 78, Intro to CMake by Jason Turner. LLVM’s CMake Primer provides a good high-level introduction to the CMake syntax. Go read it now.

After that, watch Mathieu Ropert’s CppCon 2017 talk Using Modern CMake Patterns to Enforce a Good Modular Design (slides). It provides a thorough explanation of what modern CMake is and why it is so much better than “old school” CMake. The modular design ideas in this talk are based on the book [Large-Scale C++ Software Design](https://www.amazon.de/Large-Scale-Soft

@GopherJ
GopherJ / README.md
Created April 30, 2024 01:56 — forked from cf/README.md
bn256 bitcoin script

bn256 for bitcoin is totally possible without branches

don't believe me?

see below

@GopherJ
GopherJ / zkCoins.md
Created April 21, 2024 02:26 — forked from RobinLinus/zkCoins.md
zkCoins: A payment system with strong privacy and scalability, combining a client-side validation protocol with validity proofs

zkCoins

zkCoins is a novel blockchain design with strong privacy and scalability properties. It combines client-side validation with a zero-knowledge proof system. The chain is reduced to a minimum base layer to prevent double spending. Most of the verification complexity is moved off-chain and communicated directly between the individual sender and recipient of a transaction. There are very few global consensus rules, which makes block validation simple. Not even a global UTXO set is required.

In contrast to zk-rollups there is no data availability problem, and no sequencer is required to coordinate a global proof aggregation. The protocol can be implemented as an additional layer contained in Bitcoin's blockchain (similar to RGB[^5] or Taro[^6]) or as a standalone sidechain.

The throughput scales to hundreds of transactions per second without sacrificing decentralization.

Design Principles

The core design principle is to *"use the chain for what the chain is good for, which is an immutable order

@GopherJ
GopherJ / blake3.basm
Created April 12, 2024 11:50 — forked from cf/blake3.basm
This file has been truncated, but you can view the full file.
// plz give me credits if for some reason you use this
// MIT License or shout out @cmpeq in the code <3
OP_1
<1438064771>
OP_0
<170099639>
OP_1
<1522642839>
OP_1
<1467629419>
/*
function ch(x: number, y: number, z: number) {
return z ^ (x & (y ^ z));
}
*/
b.OP_TUCK();
b.OP_NUMNOTEQUAL();//.tag("y ^ z");
b.OP_ROT();
b.OP_BOOLAND();//.tag("(x & (y ^ z))");
@GopherJ
GopherJ / generate_blocks.sh
Created April 2, 2024 03:09 — forked from System-Glitch/generate_blocks.sh
Tutorial for bitcoin regtest
# Script to generate a new block every minute
# Put this script at the root of your unpacked folder
#!/bin/bash
echo "Generating a block every minute. Press [CTRL+C] to stop.."
address=`./bin/bitcoin-cli getnewaddress`
while :
do
@GopherJ
GopherJ / README.md
Created March 8, 2024 02:37 — forked from cf/README.md
A Hackers Guide to Layer 2: Zero Merkle Trees from Scratch
@GopherJ
GopherJ / merkle_proof_depth_30.asm
Created February 23, 2024 05:58 — forked from cf/merkle_proof_depth_30.asm
Merkle Proof in TapScript
// root
<0x227c4fdcd6c57bf13f6af315dfeebfab6976e46276f11cc6160bbd0fb5ee22ec>
// sibling_1
<0x8869ff2c22b28cc10510d9853292803328be4fb0e80495e8bb8d271f5b889636>
// sibling_2
<0x848930bd7ba8cac54661072113fb278869e07bb8587f91392933374d017bcbe1>
// sibling_3
<0x7cdd2986268250628d0c10e385c58c6191e6fbe05191bcc04f133f2cea72c1c4>
// sibling_4
@GopherJ
GopherJ / blake3.basm
Created February 23, 2024 05:57 — forked from cf/blake3.basm
Blake3 for the Bitcoin VM
This file has been truncated, but you can view the full file.
// Blake 3 for Bitcoin Core
/*
Copyright 2024 Carter Feldman
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WIT