From 20b172d4558258e84ce5235c8932df9fd087bf74 Mon Sep 17 00:00:00 2001 From: Boyan Date: Wed, 12 Feb 2025 15:04:15 +0100 Subject: [PATCH] vault backup: 2025-02-12 15:04:15 --- .obsidian/workspace.json | 90 +++++++++++------------ Software Engineering/Initial Questions.md | 20 +++++ 2 files changed, 65 insertions(+), 45 deletions(-) create mode 100644 Software Engineering/Initial Questions.md diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 5278288..0775cf6 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -4,21 +4,21 @@ "type": "split", "children": [ { - "id": "0f03a1a547c0e7e7", + "id": "90426974024a86f9", "type": "tabs", "children": [ { - "id": "76bee43de3990bf8", + "id": "fcc28e70ad8acbd2", "type": "leaf", "state": { "type": "markdown", "state": { - "file": "Software Engineering/TA Meeting 1.md", + "file": "Software Engineering/Initial Questions.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "TA Meeting 1" + "title": "Initial Questions" } } ] @@ -199,61 +199,61 @@ "omnisearch:Omnisearch": false } }, - "active": "76bee43de3990bf8", + "active": "56bef0584922cba9", "lastOpenFiles": [ "Software Engineering/TA Meeting 1.md", - "Fundamentals of Electronics/Introductory Lecture.md", - "Introduction to Machine Learning/Introductory lecture.md", - "Fundamentals of Electronics", - "Pasted image 20250113151159.png", - "Advanced Algorithms/Graph Algorithms.md", - "Advanced Algorithms/Graphs.md", - "Introduction to Machine Learning/image.png", - "Extracurricular/Circuitree/Committee Market/Macro pad.md", - "Extracurricular/Circuitree/Committee Market/discussion/Committee market ideas.md", - "Extracurricular/Circuitree/Committee Market/discussion/CA.md", - "Extracurricular/Misc/Plan.md", - "Extracurricular/Misc/Proposed Routine Plan.canvas", - "Extracurricular/Misc/Ideas.md", - "Functional Programming/Eq and Num.md", + "Software Engineering/Initial Questions.md", "Functional Programming/Proofs.md", - "Operating Systems/Introductory lecture.md", - "Discrete Structures/Relations and Digraphs.md", - "Operating Systems/assets/Pasted image 20250204103541.png", - "Software Engineering/Introductory Lecture.md", - "Discrete Structures/Recurrence relations.md", - "Discrete Structures/Mathematical Proofs (Induction).md", - "Discrete Structures/Counting.md", - "Introduction to Machine Learning", - "Operating Systems/assets/image.png", - "Operating Systems/image.png", - "Operating Systems/assets", - "conflict-files-obsidian-git.md", - "Statistics and Probability/Mock exam run 1.md", - "Operating Systems", - "Statistics and Probability/Support Lecture.md", "Software Engineering", + "Operating Systems/assets/image.png", + "Operating Systems/assets/Pasted image 20250204103541.png", + "Operating Systems/assets", + "Operating Systems/Introductory lecture.md", + "Operating Systems", + "Introduction to Machine Learning/assets/image.png", + "Introduction to Machine Learning/image.png", + "Introduction to Machine Learning/assets", + "Introduction to Machine Learning/Introductory lecture.md", + "Introduction to Machine Learning", + "Fundamentals of Electronics/Introductory Lecture.md", + "Fundamentals of Electronics", + "Functional Programming/Eq and Num.md", + "Extracurricular/Circuitree/Committee Market/Macro pad.md", + "Functional Programming/Recursion.md", + "Functional Programming/Lists.md", + "Functional Programming/Polymorphism.md", + "Functional Programming/Introduction to Functional Programming.md", + "Discrete Structures/Midterm/Midterm prep.md", + "Discrete Structures/Counting.md", + "Discrete Structures/Mathematical Data Structures.md", + "Discrete Structures/Mathematical Proofs (Induction).md", + "Functional Programming/assets/Pasted image 20241125164049.png", + "Functional Programming/Basic Haskell.md", "Functional Programming/Drawing 2024-12-24 17.52.22.excalidraw.md", - "Extracurricular/satQuest/Meeting Dec 18.md", + "Untitled.md", + "Statistics and Probability/Mock exam run 1.md", + "Statistics and Probability/Intro to probability.md", + "Statistics and Probability/Data.md", + "conflict-files-obsidian-git.md", + "Discrete Structures/Recurrence relations.md", + "Statistics and Probability/Support Lecture.md", + "Pasted image 20250113151159.png", "Extracurricular/satQuest/img/Pasted image 20241218122110.png", - "Excalidraw/Drawing 2024-12-11 23.27.51.excalidraw.md", - "Discrete Structures/Midterm/attempt 2.md", - "Discrete Structures/Midterm/attempt 1.md", - "Discrete Structures/Midterm", - "Extracurricular/satQuest/img/Pasted image 20241206134156.png", - "Untitled.canvas", - "Advanced Algorithms/Pasted image 20241203234600.png", - "Excalidraw", "Extracurricular/satQuest/img/Pasted image 20241206134213.png", "Extracurricular/satQuest/img/Pasted image 20241206134207.png", + "Extracurricular/satQuest/img/Pasted image 20241206134156.png", "Extracurricular/satQuest/img", - "Advanced Algorithms/assets/pnp", - "Advanced Algorithms/assets/graph", + "Extracurricular/satQuest/Parts Proposal.md", + "Extracurricular/satQuest", + "Discrete Structures/Midterm", + "Untitled.canvas", + "Excalidraw", "Web Engineering/canvae/server_client.canvas", "Advanced Programming/projects/second/Refactoring.canvas", "Advanced Programming/assets/assignment/assignment_organization.canvas", "Advanced Programming/assets/spring/Beans.canvas", "Advanced Programming/assets/assignment/assignment_app.canvas", + "Extracurricular/Misc/Proposed Routine Plan.canvas", "Extracurricular/Circuitree/Committee Market/discussion/Proposed showcase infra.canvas" ] } \ No newline at end of file diff --git a/Software Engineering/Initial Questions.md b/Software Engineering/Initial Questions.md new file mode 100644 index 0000000..8f99e03 --- /dev/null +++ b/Software Engineering/Initial Questions.md @@ -0,0 +1,20 @@ + +### Logistics +- Will we have access to an overview of the project roadmap, including deliverables? +- Do you need us to use specific project management tools (e.g. GitHub, Jira, etc.)? + +### Formal Verification + +- What is the expected level of background in Coq or formal methods? +- Can you explain the process by which a smart contract's safety properties will be validated formally? +- Are there any existing case studies or example proofs we might refer to for a better understanding of the expected output? +- How much of the formal verification process will be based on axioms versus fully constructive proofs? + +### Project scope clarifications +- Among the seven smart contracts being verified, which ones do you expect us to work on, and why those? +- Which technologies are we going to be introduced to, if any? Will we have access to guides for Coq and Solidity? +- How do you envision the high-level Coq framework integrating with existing Solidity projects? +- Could you elaborate on the notion of “high-level primitives” (e.g., identity, item, property) and how flexible they need to be for different types of contracts? + +- "real numbers and integer approximations"? +