issues
search
ChristoferVikstroem
/
FaTS
An open-source repository for a smart contract implementation in the KTH course DD2485.
MIT License
1
stars
0
forks
source link
Grading Criterion 🏆
#1
Open
vivi365
opened
9 months ago
vivi365
commented
9 months ago
Mandatory
[x] The protocol is hosted on GitHub, publicly available.
[x] The GitHub repository must have a root README file.
[x] The protocol can be automatically executed from a test suite
[x] The usage of the protocol is well documented
[x] The length of the presentation is 15 minutes (hard limit)
Optional
Need 9 checked to pass.
Protocol and Documentation
[x] The protocol is clearly motivated
[x] The README gives enough background
[x] The protocol is original & the README discusses closely related work
Presentation
[x] The presentation focuses on the technical aspects of the protocol
[x] The structure of the presentation is announced and graphically visible
[x] The presentation contains valuable and readable code snippets
[x] The presentation contains a reflective part
[ ] There is one good slide positioning the presentation in the state of the art
[x] The last slide contains a good and concise take-home message
[ ] The speakers engage with the audience
[ ] The speakers are fun, have humour or the protocol contains an Easter egg
[x] The slides do not have too much text
Bonus
[ ] Bonus: Verification beyond testing (mutation testing with Gambit, formal verification)
[x] Bonus: The protocol has 100% statement coverage
<-- statement coverage via hardhat
[ ] Bonus: Fuzzing/symbolic execution: the protocol has a harness for fuzzing or symbolic execution
<-- Echidna
[ ] Bonus: Protocol is deployed on mainnet and IPFS
[ ] Bonus the protocol contains user interface application
<-- with react/or template stuff
Mandatory
Optional
Need 9 checked to pass.
Protocol and Documentation
Presentation
Bonus