plowsof

Triptych research and optimizations ready to be closed / donated to general fund
Koe requests for remaining funds (6.325xmr*2) to be donated to Bp++ funding here

Bp++ proposal to Peer Review the Bp++ paper - discussed in the MRL meeing here

requested edits to the Bp++ proposal have been applied here

Jberman / Kayaba / Koe have helped created a rough scope of initial work for the Seraphis papers which can be seen below.

Read through the Seraphis papers (the paper describing the transaction protocol and its companion paper spec'ing its implementation)
- Link to Seraphis papers: https://github.com/UkoeHB/Seraphis/tree/master
Establish a formal security model to prove Seraphis secure under.
- Section 1.2 in the Seraphis paper sketches a model but is light on details. Plausible path: rework section 1.2 such that it can be formalized in terms of algorithms and/or experiments.
Formalize the respective algorithms in the instantiation of Seraphis and see if the Seraphis construction is amenable to proofs under the chosen security model.
- If the Seraphis construction is not amenable to a chosen security model, then it would still be useful to formalize security proofs for individual components of Seraphis (membership, ownership, unspentness, amounts balance).
One researcher we've contacted sugges

Initial feedback received from CypherStack for the latest blockstream BP++ paper:

There are several aspects of the preprint that should be considered out of scope for a review:

Multiparty computation. There are no specific protocols presented for this, and no corresponding security model of proofs of security.
Batch verification. While the preprint mentions that BP++ supports batch verification, it provides no details on the corresponding algebra.
Multi-asset transactions. The preprint discusses multi-asset transactions in the context of its protocols, but these are not required for range proofs.
Optimized binary range proofs. The protocol proposed for optimized binary range proofs has only an informal and vague security proof that is insufficient to assert the claims of the corresponding theorem.

	from monerorpc.authproxy import AuthServiceProxy, JSONRPCException
	import os
	import pprint as pp
	import sys

	wallet_dir = "/some/dir"
	daemon_address = ""
	rpc_url = "http://127.0.0.1:18084/json_rpc"
	test_wallet = ""
	rpc_connection = AuthServiceProxy(service_url=rpc_url)

	import requests
	import pprint as pp
	import os
	import subprocess
	import sys
	from urllib.request import urlretrieve

	#for git --reset hard origin/master
	hard_reset_remote = "origin"
	#for pushing

	import requests
	import json
	import pprint
	from monerorpc.authproxy import AuthServiceProxy, JSONRPCException
	import time

	rpc_url = "http://127.0.0.1:18082/json_rpc"
	rpc_connection = AuthServiceProxy(service_url=rpc_url)

	offset = 100

	from monerorpc.authproxy import AuthServiceProxy, JSONRPCException
	import uuid

	rpc_url = "http://127.0.0.1:18082/json_rpc"
	rpc_connection = AuthServiceProxy(service_url=rpc_url)


	payments = []

	for x in range(500):

	#!/bin/bash
	monerod --detach

	while [[ "$status" != "true" ]]; do
	REQ=$(curl "http://localhost:18081/json_rpc" -d '{"jsonrpc":"2.0","id":"0","method":"get_info"}' -H 'Content-Type: application/json')
	status=$(echo $REQ \| jq '.result.synchronized')
	sleep 120
	done

	monerod exit

	curl http://localhost:18092/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"create_wallet","params":{"filename":"brb20hours","password":"","language":"English"}}' -H 'Content-Type: application/json'
	curl http://localhost:18092/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"open_wallet","params":{"filename":"brb20hours","password":""}}' -H 'Content-Type: application/json'

	gen_addresses () {
	x=1
	while [ $x -le 300 ]
	do
	curl -s -o /dev/null http://localhost:18092/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"create_account","params":{"label":"account '"${x}"'"}}' -H 'Content-Type: application/json'
	curl -s -o /dev/null http://localhost:18092/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"create_address","params":{"account_index":'"${x}"',"label":"new-subs","count":5000}}' -H 'Content-Type: application/json'
	((x+=1))