KTH / programmable-society

Home of course "Programmable Society" at KTH Royal Institute of Technology
16 stars 15 forks source link

Week 4: Questions #71

Closed Deee92 closed 10 months ago

Deee92 commented 11 months ago

Here we post the questions we ask live during the lecture of Week 4. Please follow the following format:

Title of presentation or demo
Question(s)
KTH ID
pierrelefevre commented 11 months ago

Randomness in Smart Contracts: Achieving Tamperproof Randomness in a Deterministic Setting How does on chain verification work for off chain external apis? pierrelf

lerjevik commented 11 months ago

Showcasing Mythril: How to find vulnerabilites in your smart contract code? How does this tool compare to Slither? lerjevik

flaxxen commented 11 months ago

Hardhat: Building, testing, deploying, and debugging smart contracts on the Ethereum blockchain Where was the contract deployed? felixq

filippaleuckfeld commented 11 months ago

Showcasing Mythril: How to find vulnerabilites in your smart contract code? Which blockchain is Mythril used for? efle

ChristoferVikstroem commented 11 months ago

Randomness in Smart Contracts: Achieving Tamperproof Randomness in a Deterministic Setting You mentioned lava lamps in randomness generation. What are they and how do they work? chrvik

cetceeve commented 11 months ago

Presentation: Modern Problems Require Modern Solutions: MPCs and Multisigs

Has MPC fixed the security vulnerabilities that were exploited in the Multi-Sig Wallet example?

zeiher

vivi365 commented 11 months ago

Presentation: reentrancy #67 Can you explain more in detail how the escrow contract mitigates reentrancy attacks? vivia

oskarsva commented 11 months ago

Presentation: https://github.com/KTH/programmable-society/pull/63 In terms of the pros and cons, are multisigs less complex and easier to implement than MPCs? What does hardware support means in the context?

Presentation: https://github.com/KTH/programmable-society/pull/67 For the reentrancy-lock. Is there not a possible of a deadlock? Or does the SC state revert when not passing all requires?

oskarsva

alegust commented 11 months ago

Presentation: Randomness in Smart Contracts: Achieving Tamperproof Randomness in a Deterministic setting Question: What is proof of stake? algust

edvinbaggman commented 11 months ago

Demo: fuzzing for smart contracts

Does it show the shortest path it finds to break, or just the first path it finds?

Baggman

sifisKoen commented 11 months ago

Name: Iosif Koen

Questions

HardHat

Does Hardhat allows GitHub cations or has any CI comparability?

NPC

What languages do we use to create a NPC wallet?

Edchina

Is the Edchina asynchronous like ?(pause and unpause)

Contributions

Hardware wallet

Ledger an hardware wallet for secure transactions. Ledger

rsssss12 commented 11 months ago

Fuzz testing for smart contracts How popular or how often is fuzzing used in the industry? rscholz