1 repository
Awesome GitHub RepositoriesCompile-Time Loop Bounds
Enforcement of maximum iteration limits on loops during the compilation phase.
Distinct from Iterative Loop Constructs: Distinct from Iterative Loop Constructs by focusing on the compile-time enforcement of upper bounds to prevent infinite execution.
Explore 1 awesome GitHub repository matching software engineering & architecture · Compile-Time Loop Bounds. Refine with filters or upvote what's useful.
Awesome Compile-Time Loop Bounds GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- vyperlang/vyper
vyperlang/vyper
5,180Vezi pe GitHubVyper este un limbaj de programare tipizat, axat pe securitate, și un compilator conceput pentru crearea de smart contracts care se execută pe Ethereum Virtual Machine. Utilizează o sintaxă de tip Python pentru a defini logica și starea contractului, servind drept țintă pentru verificare formală pentru a permite dovezi de corectitudine verificate de mașină. Limbajul se distinge prin constrângeri arhitecturale stricte care prioritizează predictibilitatea și securitatea. Impune grafuri de apel aciclice prin interzicerea recursivității și impune bucle mărginite pentru a asigura predicția statică a gazului. În plus, dispune de un tip zecimal nativ cu virgulă fixă pentru calcule financiare, pentru a preveni pierderea preciziei. Proiectul oferă un set cuprinzător de capabilități pentru dezvoltarea blockchain, inclusiv gestionarea stării puternic tipizate, primitive criptografice pentru recuperarea cheilor publice și protecții încorporate împotriva reentrancy-ului. Suportă implementarea standardelor de token-uri din industrie, instrumente de finanțe descentralizate și sisteme de guvernanță on-chain printr-un sistem modular de interfețe și implementări de contracte. Compilatorul transformă codul sursă de nivel înalt în bytecode vizat pentru EVM și definiții ABI, oferind în același timp instrumente pentru testarea automată a contractelor și verificarea integrității build-ului.
Restricts all loops to a compile-time upper bound to ensure predictable gas costs and prevent infinite execution.
Pythonethereumethereum-dapplanguage
