1. Top
  2. 6.5610-project
  3. Commits
6.5610-project

Cryptography final project

Commits at f1c8b8e7da9d0cde6e7991916c7a087e57e203e0

  1. bcb71a24 set up factoring example for better running Rey Li authored at Rey Li comitted at
  2. b4984fc0 factoring test proof made Rey Li authored at Rey Li comitted at
  3. a8be2654 significant partial working progress towards creating a hiding protocol Rey Li authored at Rey Li comitted at
  4. 6716245a Fix stupid typo (thanks Claude) Anthony Wang authored at Anthony Wang comitted at
  5. 183ddaad de Bruijn indices (Lurk version is still broken) Anthony Wang authored at Anthony Wang comitted at
  6. e84b5aa9 Name it μLean Anthony Wang authored at Anthony Wang comitted at
  7. ec83994f Use field elements instead of strings for variable names Anthony Wang authored at Anthony Wang comitted at
  8. 80ffed3a Swap Term and Typ to match the usual convention Anthony Wang authored at Anthony Wang comitted at
  9. e18f6136 Use finite field elements instead of strings for better perf Actually I have no idea if this actually improves perf or not... Anthony Wang authored at Anthony Wang comitted at
  10. 1aef3614 Bump Lean version Anthony Wang authored at Anthony Wang comitted at
  11. 09248633 Add Lurk dir patch Anthony Wang authored at Anthony Wang comitted at
  12. 7e531a32 Broken protocol code Anthony Wang authored at Anthony Wang comitted at
  13. 7731f06c Passing all test cases now Anthony Wang authored at Anthony Wang comitted at
  14. 786a1c9e Type checker in Lurk finally works!!! Anthony Wang authored at Anthony Wang comitted at
  15. 26daa600 Lurk port almost somewhat works now I guess Anthony Wang authored at Anthony Wang comitted at
  16. 041cf99d Implement natural numbers Anthony Wang authored at Anthony Wang comitted at
  17. 6ee71b22 Generate Lurk s-expressions from `Term`s Anthony Wang authored at Anthony Wang comitted at
  18. 320e2c47 Oops use boolean or instead of prop or Anthony Wang authored at Anthony Wang comitted at
  19. 73d9c43f Better docs, implement negation Anthony Wang authored at Anthony Wang comitted at
  20. 2b177266 Initial commit Anthony Wang authored at Anthony Wang comitted at