QED

(quod erat demostrandum)

Background

qed is a software to test the scalability of authenticated data structures. Our mission is to design a system which, even when deployed into a non-trusted server, allows to verify the integrity of a chain of events and detect modifications of single events or parts of the history.

This software is experimental and part of the research being done at BBVA. We will eventually publish our research work, analisys and the experiments for anyone to reproduce.

Environment

We use the Go programming language and set up the environment as described in their documentation

Starting guide

• Download software

   go get github.com/bbva/qed
   go get github.com/dgraph-io/badger
   go get github.com/coreos/bbolt
   go get github.com/google/btree
   go get github.com/spf13/cobra
   go get github.com/tsenart/vegeta

• Start the server

   cd $GOPATH/src/github.com/bbva/qed/cmd/server
   go run server.go -k key -p /var/tmp/db_path -l info

• Using the client

  • add event

     go run qed.go -k my-key -e http://localhost:8080 add --key "test event" --value "2"
  

  • membership event

      go run qed.go -k my-key -e http://localhost:8080 membership --historyDigest 444f6e7eee66986752983c1d8952e2f0998488a5b038bed013c55528551eaafa --hyperDigest a45fe00356dfccb20b8bc9a7c8331d5c0f89c4e70e43ea0dc0cb646a4b29e59b --version 0 --key "test event"
  

  • verify event

      go run qed.go -k my-key -e http://localhost:8080 membership --historyDigest 444f6e7eee66986752983c1d8952e2f0998488a5b038bed013c55528551eaafa --hyperDigest a45fe00356dfccb20b8bc9a7c8331d5c0f89c4e70e43ea0dc0cb646a4b29e59b --version 0 --key "test event" --verify
  

Useful commands

• Go documentation server

     $ godoc -http=:6061 # http://localhost:6061/pkg/qed/
  

• Test everything

     go test -v github.com/bbva/qed/...
  

• Go profiling

    go run  -cpuprofile cpu.out -memprofile mem.out program.go
    go test -v -bench="BenchmarkAdd" -cpuprofile cpu.out -memprofile mem.out qed/balloon/hyper -run ^$
     
    go tool pprof hyper.test cpu.out 
    go tool pprof hyper.test cpu.out mem.out
  

The server spawns an http server on port 6060 with the pprof api as described in https://golang.org/pkg/net/http/pprof/

Other projects, papers and references

• github related projects

  • Balloon
  • GoSMT
  • Trillian
  • Continusec

• related papers

  • http://tamperevident.cs.rice.edu/papers/paper-treehist.pdf
  • http://kau.diva-portal.org/smash/get/diva2:936353/FULLTEXT01.pdf
  • http://www.links.org/files/sunlight.html
  • http://www.links.org/files/RevocationTransparency.pdf
  • https://eprint.iacr.org/2015/007.pdf
  • https://eprint.iacr.org/2016/683.pdf

Contributions

Contributions are very welcome, see CONTRIBUTING.md or skim existing tickets to see where you could help out.

License

qed is Open Source and available under the Apache 2 License.