Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tinydancer-io/receipt-tree-formal-proof issues and pull requests

#11 - Add correctness and compactness proof

Pull Request - State: closed - Opened by samkim-crypto over 1 year ago

#11 - Add correctness and compactness proof

Pull Request - State: closed - Opened by samkim-crypto over 1 year ago

#10 - minor fix

Pull Request - State: closed - Opened by harsh4786 over 1 year ago

#9 - chore: add soundness definition and fix intro

Pull Request - State: closed - Opened by harsh4786 over 1 year ago

#8 - chore: add introduction

Pull Request - State: closed - Opened by harsh4786 over 1 year ago

#7 - Merge pull request #6 from tinydancer-io/main

Pull Request - State: closed - Opened by harsh4786 over 1 year ago

#6 - merge changes from main

Pull Request - State: closed - Opened by harsh4786 over 1 year ago

#5 - Adding accumulator algorithm descriptions

Pull Request - State: closed - Opened by samkim-crypto over 1 year ago

#4 - Preferring a 64 byte prefix over the current 8-bit prefix for both internal and leaf nodes.

Issue - State: open - Opened by harsh4786 over 1 year ago - 3 comments

#3 - Add definitions for Accumulators and Collision resistance.

Pull Request - State: closed - Opened by harsh4786 over 1 year ago

#2 - Add definitions of CRHF and accumulators

Pull Request - State: closed - Opened by samkim-crypto over 1 year ago

#1 - Commit latex files

Pull Request - State: closed - Opened by samkim-crypto over 1 year ago