Skip to content
This repository has been archived by the owner on Jan 1, 2020. It is now read-only.

Issues: Finhaven/whitepaper-club

28 Open 6 Closed
28 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Ravencoin
#38 opened May 6, 2018 by carchrae
Related Repos
#37 opened May 5, 2018 by carchrae
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains
#35 opened Apr 6, 2018 by expede
META: we need to fill the schedule in advance meta
#33 opened Mar 13, 2018 by carchrae
Security Assurance for Smart Contract (Fujitsu)
#32 opened Mar 13, 2018 by carchrae
2
ZEUS : Analyzing Safety of Smart Contracts formal verification
#31 opened Mar 12, 2018 by expede
bitshares
#30 opened Mar 8, 2018 by carchrae
Smart Contracts: Formalizing and Securing Relationships on Public Networks - Szabo
#29 opened Mar 8, 2018 by carchrae
Add session schedule/durations to README meta
#27 opened Feb 21, 2018 by expede
Pact language
#24 opened Feb 13, 2018 by expede
Harbor's R-Token securities
#23 opened Feb 10, 2018 by bmann
hashgraph - leemon baird protocol
#22 opened Feb 9, 2018 by carchrae
4
SAFT Project
#21 opened Feb 8, 2018 by expede
Isabelle/HOL Bytecode Verification formal verification
#20 opened Feb 8, 2018 by expede
Short Paper (Formal Verification) formal verification
#19 opened Feb 8, 2018 by expede
Byteball dag
#18 opened Feb 8, 2018 by expede
1
Polymath securities
#16 opened Feb 7, 2018 by expede
Decred: Proof of Stake
#15 opened Feb 7, 2018 by expede
KEVM (K-lang’s EVM) formal verification language vm
#14 opened Feb 7, 2018 by expede
RightMesh
#13 opened Feb 7, 2018 by expede
Storm token
#12 opened Feb 7, 2018 by expede
Ripple currency
#11 opened Feb 7, 2018 by expede
Electroneum token
#10 opened Feb 7, 2018 by expede
FBI Network Analysis
#9 opened Feb 7, 2018 by expede
1
Pyramid Scheme language
#7 opened Feb 7, 2018 by expede
2 tasks
ProTip! Exclude everything labeled bug with -label:bug.