Armoni Flowİletişim2.151 byte EIP-170 payı
Web3 Laboratuvarı / Smart Solve
EVM için ölçülmüş sayısal hesaplama.
Ethereum tarzı yürütme ortamlarında sayısal algoritmaların hassasiyetini, gas maliyetini ve uygulanabilirliğini değerlendiren deneysel bir Solidity çerçevesi.
0x01
Solidity
EVM benchmarkları
Çerçeve
Smart Solve nedir?
Smart Solve, Solidity ile yazılmış sayısal hesaplama ve benchmark çerçevesidir. Gas, hassasiyet, çalışma zamanı bytecode’u, dağıtım ve yürütme davranışının zincir üstü sayısal işlemlere getirdiği pratik sınırları incelemek için Diamond tabanlı bir production-path demonstratörü olarak tasarlanmıştır.
Kapsam
Neler yapabilir?
Mevcut benchmark paketi küçük ve sınırlı sayısal iş yükleri için farklı kategorileri kapsar.
01
Kök bulma
02
Sayısal integrasyon
03
Türev alma
04
ODE çözümü
05
Polinom değerlendirme
06
Matris işlemleri
07
Doğrusal çözücüler
08
Optimizasyon / en dik iniş
Ölçülen sonuçlar
Benchmark öne çıkanları
Projede kaydedilmiş seçili Diamond-routed ölçümler. Aşağıdaki değerler yalnızca kayda geçmiş sonuçlarla sınırlıdır.
| Benchmark | Sonuç | Yapılandırma |
|---|---|---|
| Tam SmartSolve Diamond dağıtımı / kurulumu | ≈ 25.704.269 gas | Eksiksiz dağıtım yolu |
| Bisection ile kök bulma | 1.125.674 gas | 42 iterasyon |
| Simpson 1/3 integrasyonu | 80.327 gas | n = 2 |
| Merkez fark türevi | 62.393 gas | Diamond-routed |
| Euler ODE çözümü | 53.837 gas | 3 adım |
| Horner polinom değerlendirmesi | 32.319 gas | Diamond-routed |
| 2×2 matris çarpımı | 68.996 gas | Diamond-routed |
| 2×2 Gauss eleme | 105.374 gas | Diamond-routed |
| En dik iniş optimizasyonu | 210.385 gas | Diamond-routed |
Diamond yolunda 154.956 gas’tan düştü
1/3 yuvarlama durumunda daha düşük hassasiyet
Yöntem
Bir benchmark’ı iki katmanda okumak
Çerçeve, algoritma davranışını production tarzı proxy ve facet çağrı yolunun maliyetinden ayırır.
| Yürütme yolu | Neyi ölçer? | Dahil olan ek yük |
|---|---|---|
| Harness / direct | Algoritmanın izole davranışı. | Diamond selector araması veya delegatecall yok. |
| Facet-direct | Bir facet’in uygulama yolu. | Diamond fallback yolu olmadan facet yürütmesi. |
| Diamond-routed | Production proxy / facet davranışı. | Fallback selector araması ve delegatecall ek yükü. |
Nedir / ne değildir?
Bu nedir
- Deneysel Web3 sayısal hesaplama çerçevesi
- Gas ve hassasiyet benchmark çerçevesi
- Solidity / EVM uygulanabilirlik inceleme platformu
- İleri düzey akıllı sözleşme sistemleri için mühendislik kanıtı
Bu ne değildir
- Denetlenmiş production DeFi matematik kütüphanesi
- Zincir dışı hesaplamanın evrensel alternatifi
- Tüm sayısal algoritmaların ana ağda ekonomik olduğu iddiası
- Her benchmark’ın tam binary128 ampirik doğruluğunu ölçtüğü garantisi
Uygulamalar
Nerede yararlıdır?
Uygulanabilirlik kararları
Bir sayısal yöntemin zincir üstünde sorumlu biçimde çalışıp çalışamayacağını değerlendiren Web3 ekipleri için.
Sınırlı DeFi prototipleri
Oracle, risk modeli veya DeFi deneyleri için küçük ve sınırlı sayısal iş yükleri.
Optimizasyon çalışmaları
Matematik yoğun yürütme yolları olan Solidity sözleşmeleri için gas ve bytecode çalışmaları.
Araştırma ve teknik inceleme
Akademik EVM araştırmaları ve akıllı sözleşme değerlendirmesi için somut teknik örnek.
Sınırlar
Gas maliyeti uygulanabilirliğin sınırını çizer
- Bazı iş yükleri yalnızca küçük ve sınırlı boyutlarda pratiktir.
- Büyük matris ve iteratif iş yükleri 30M gas sınırına yaklaşabilir veya bu sınırı aşabilir.
- Ağır ölçeklenebilirlik testleri, güvenli varsayılanlar olmak yerine opt-in olarak çalışır.
- Callback odaklı algoritmalar, gas ölçümüne callback staticcall maliyetini de dahil eder.
- Sonuçlar harness/direct, facet-direct ve Diamond-routed yürütmeyi birbirinden ayırır.
Kanıtlar
Mühendislik kalitesi ve tekrarlanabilirlik
- Yapılandırılmış benchmark JSON çıktıları
- Tekrarlanabilirlik metaverisi
- Bytecode bütçesi korumaları
- Dağıtım artefact’ları ve dağıtım sonrası doğrulama
- Hata ve out-of-gas sınıflandırması
- Uygun yerlerde hassasiyet farkındalıklı testler
Smart Solve
Uygulamayı, benchmark artefact’larını ve deney tasarımını herkese açık depoda inceleyin.
GitHub’da İncele