vault backup: 2025-02-12 15:04:15

This commit is contained in:
Boyan 2025-02-12 15:04:15 +01:00
parent 672268d6e7
commit 20b172d455
2 changed files with 65 additions and 45 deletions

View File

@ -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"
]
}

View File

@ -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"?