vault backup: 2025-02-14 15:29:55
This commit is contained in:
parent
fb35dd1020
commit
7332fea8bf
15
.obsidian/workspace.json
vendored
15
.obsidian/workspace.json
vendored
@ -13,12 +13,12 @@
|
||||
"state": {
|
||||
"type": "markdown",
|
||||
"state": {
|
||||
"file": "Extracurricular/Circuitree/Antenna Building/Idea and proposed timeline.md",
|
||||
"file": "Software Engineering/Initial Questions.md",
|
||||
"mode": "source",
|
||||
"source": false
|
||||
},
|
||||
"icon": "lucide-file",
|
||||
"title": "Idea and proposed timeline"
|
||||
"title": "Initial Questions"
|
||||
}
|
||||
}
|
||||
]
|
||||
@ -201,11 +201,14 @@
|
||||
},
|
||||
"active": "fcc28e70ad8acbd2",
|
||||
"lastOpenFiles": [
|
||||
"Software Engineering/Initial Questions.md",
|
||||
"Software Engineering/TA Meeting 1.md",
|
||||
"Extracurricular/Misc/Plan.md",
|
||||
"Extracurricular/Misc/Proposed Routine Plan.canvas",
|
||||
"Extracurricular/Misc/Ideas.md",
|
||||
"Extracurricular/Circuitree/Antenna Building/Idea and proposed timeline.md",
|
||||
"Software Engineering/Initial Questions.md",
|
||||
"Extracurricular/Circuitree/Antenna Building/Untitled",
|
||||
"Extracurricular/Circuitree/Antenna Building",
|
||||
"Software Engineering/TA Meeting 1.md",
|
||||
"Functional Programming/Proofs.md",
|
||||
"Software Engineering",
|
||||
"Operating Systems/assets/image.png",
|
||||
@ -237,9 +240,6 @@
|
||||
"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",
|
||||
"Extracurricular/satQuest/img/Pasted image 20241206134213.png",
|
||||
@ -253,7 +253,6 @@
|
||||
"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"
|
||||
]
|
||||
}
|
@ -22,6 +22,16 @@
|
||||
"color": "6",
|
||||
"label": "Productivity"
|
||||
},
|
||||
{
|
||||
"id": "37abaca3fa89fb9b",
|
||||
"type": "text",
|
||||
"text": "Better mental and productivity",
|
||||
"styleAttributes": {},
|
||||
"x": 799,
|
||||
"y": 681,
|
||||
"width": 294,
|
||||
"height": 60
|
||||
},
|
||||
{
|
||||
"id": "6dc127fe4098cce8",
|
||||
"type": "text",
|
||||
@ -42,16 +52,6 @@
|
||||
"width": 250,
|
||||
"height": 60
|
||||
},
|
||||
{
|
||||
"id": "2b76b4366e7d7447",
|
||||
"type": "text",
|
||||
"text": "Consistency in terms of Uni",
|
||||
"styleAttributes": {},
|
||||
"x": 713,
|
||||
"y": 354,
|
||||
"width": 280,
|
||||
"height": 60
|
||||
},
|
||||
{
|
||||
"id": "5159e3993f95efcb",
|
||||
"type": "text",
|
||||
@ -112,16 +112,6 @@
|
||||
"width": 283,
|
||||
"height": 60
|
||||
},
|
||||
{
|
||||
"id": "37abaca3fa89fb9b",
|
||||
"type": "text",
|
||||
"text": "Better mental and productivity",
|
||||
"styleAttributes": {},
|
||||
"x": 799,
|
||||
"y": 681,
|
||||
"width": 294,
|
||||
"height": 60
|
||||
},
|
||||
{
|
||||
"id": "3aa369dab5e52be1",
|
||||
"type": "text",
|
||||
@ -161,6 +151,16 @@
|
||||
"y": 800,
|
||||
"width": 181,
|
||||
"height": 60
|
||||
},
|
||||
{
|
||||
"id": "2b76b4366e7d7447",
|
||||
"type": "text",
|
||||
"text": "Consistency in terms of Uni",
|
||||
"styleAttributes": {},
|
||||
"x": 713,
|
||||
"y": 354,
|
||||
"width": 280,
|
||||
"height": 60
|
||||
}
|
||||
],
|
||||
"edges": [
|
||||
|
@ -2,19 +2,17 @@
|
||||
### 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.)?
|
||||
|
||||
- How often are you available? Is it possible to have weekly progress reports?
|
||||
### 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?
|
||||
|
||||
- Define the contract verification criteria
|
||||
### 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"?
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user