# smart contract
What Is Formal Verification of Smart Contract?
수학적 추론 - bug, vulnerability, unintended behavior 등으로 부터 자유롭게 해줌 → 속성을 엄격하게 검증하였기에, 이는 contract의 trust(신뢰)와 confidence(확신)를 증가시켜줌.
Denial of Service With Revert - Solidity
https://medium.com/valixconsulting/solidity-security-by-example-09-denial-of-service-with-revert-814f55b61e02번역 및 내용을 추가하여 작성하였습니다.다음과 같은 능력을 키우고
Phishing With Improper Authorization - solidity
Phishing With Improper Authorization https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-07-phishing-with-improper-authori
Integer Overflow - Solidity
https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-06-integer-overflow-e1f444f3cc4사용자가 Moon 토큰을 구매하거나 판매할 수 있는 Insecu
Cross-Contract-Reentrancy - Solidity
https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-05-cross-contract-reentrancy-30f29e2a01b9Cross-Contract-Reentrancy
Cross-Function-Reentrancy - solidity
https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-04-cross-function-reentrancy-de9cbce0558e번역 및 내용을 추가하여 작성하였습니다.다음과
Reentrancy via Modifier - Solidity
https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-01-integer-underflow-c1147c2e507bmodifier를 통한 재진입(reentrancy)은 복잡성
Reentrancy Attack - Solidity
https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-02-reentrancy-b0c08cfcd555번역 및 내용을 추가하여 작성하였습니다.다음과 같은 능력을 키우고 싶어
Integer Underflow - Solidity
https://medium.com/valixconsulting/solidity-smart-contract-security-by-example-01-integer-underflow-c1147c2e507b번역 및 내용을 추가하여 작성하였습니다.다음과 같은 능력을
[Solidity] 스마트 컨트랙트 배포 / 솔리디티 변수, 상수
컨트랙트 배포의 흐름 새 컨트랙트 배포 -> 컨트랙트의 인스턴스가 생성되어 블록체인에 배포된다. 컨트랙트가 배포될 때 생성자 함수의 인수를 넣어 초기화 한 후 배포할 수 있다. 배포가 된 이후 컨트랙트에 있는 기능들을 호출해서 상태변수를 업데이트하여 블록체인에 저장한
Smart Contract and EVM
EVM이란? 사람이 작성한 코드를 // 이더리움 블록체인 네트워크에서 실행시킬 수 있도록 도와주는 머신 솔리디티 코드 - solc를 이용함 컴파일 -> bytecode에서 Opcode로 -> EVM *Opcode는 하드웨어가 명령을 인식할 수 있도록 구성된 코드
[UDC2022] Polkadot, Smart Contract
이번 세션은 폴카닷 프로젝트 전략 총괄인 에릭 왕이 진행을 맡아 폴카닷의 기술과 사용성에 대해서 설명해 주셨어요.폴카닷이 가지는 상호운용성에 대한 강한 자신감을 보여주었고, Parachain과 Substrate를 활용하여 유스케이스에 따라 최적의 체인을 구축할 수 있다
[UDC2022] Ava Labs, Smart Contract
아바랩스 소프트웨어 엔지니어 애런 버치왈드가 이번 연사로 나와 아발란체에 대해서 소개해주었어요.아발란체는 사용자가 자신만의 체인을 운영할 수 있도록 서브넷을 제공하고 있어요. 그리고 서브넷에서는 커스텀 가능한 EVM을 사용할 수 있고, Go언어로도 스마트 컨트랙트를 구
[UDC2022] Mina Protocol, Smart Contract
이번 세션의 연사는 미나 프로토콜의 프로덕트 책임자 브라이언 맥케나 였어요.오언 랩스에서 개발된 미나 프로토콜은 레이어 1 블록체인 프로토콜로, 2020년 3월에 메인넷을 출시했어요.미나 프로토콜에서 가장 큰 특징은 경량화와 무신뢰에요. 특히 블록의 크기가 22KB로
[UDC2022] Stacks, Smart Contract
이번 연사는 스택스 재단의 테크 리드, 마빈 얀센입니다!스택스는 비트코인과 연결된 체인으로 직접 비트코인에 접근할 수 있어요. 특이하게도 많은 분들이 생소하실 수 도 있는 PoX(Proof of Transfer)라는 합의 알고리즘을 사용하고, 스마트 컨트랙트를 만들기
[UDC2022] Cardano, Smart Contract
이번 강연은 카르다노 재단의 엔지니어링 부사장 멜 맥캔이 진행하셨어요. 개인적으로는 다른 연사 분들과는 다르게 정장 입으신게 인상적이었어요.🧳먼저 간략하게 카르다노가 어떻게 발전해왔는지를 시작으로, UTXO 방식에서 스마트 컨트랙트 없이 NFT를 어떻게 만드는지까지
[UDC2022] Solana, Smart Contract
이번 강연의 연사는 솔라나의 한국 대표 톰 리와 프로덕트 및 파트너 개발 총괄 매트 소그 두 분이 진행하셨어요.솔라나의 방향성 소개 뿐만 아니라 람다256과의 협업을 깜짝 발표했답니다.이 강연에서는 사용자 경험에 중점을 둔 여러가지 솔루션들을 발표했는데요. 그 중 웹
[#1] Solidity
Solidity Smart Contract를 개발하기 위한 언어 Smart Contract 미리 정의된 조건이 충족이 되면 블록 체인 안에 저장되어 있는 프로그램이 작동하게 된다 > 예를 들어 홀수인 사람에게 돈을 준다 이런 함수를 작성해서 블록체인 안에 저장되고 홀