You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/content/docs/tr/technology/security/audits-and-bug-bounty.mdx
+5-5Lines changed: 5 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -18,7 +18,7 @@ Sıkı testlerin, dahili bir güvenlik ekibinin ve kapsamlı kod incelemelerinin
18
18
19
19
## Bağımsız Denetimler
20
20
21
-
Scroll, kod tabanımızı incelemek için sektör lideri birkaç güvenlik denetim firmasıyla birlikte çalıştı; kritik kodlar, [Trail of Bits](https://www.trailofbits.com/), [OpenZeppelin](https://www.openzeppelin.com/), [Zellic](https://www.zellic.io/) ve [KALOS](https://www.kalos.xyz/).
21
+
Scroll, kod tabanımızı incelemek için sektör lideri birkaç güvenlik denetim firmasıyla birlikte çalıştı; [Trail of Bits](https://www.trailofbits.com/), [OpenZeppelin](https://www.openzeppelin.com/), [Zellic](https://www.zellic.io/) ve [KALOS](https://www.kalos.xyz/).
22
22
23
23
- Trail of Bits, Zellic ve KALOS zkEVM devrelerimizi inceledi
24
24
- OpenZeppelin ve Zellic köprü ve rollup sözleşmelerimizde bağımsız denetimler gerçekleştirdi
@@ -50,7 +50,7 @@ Scroll, kod tabanımızı incelemek için sektör lideri birkaç güvenlik denet
50
50
-[ScrollOwner and Rate Limiter](https://blog.openzeppelin.com/scrollowner-and-rate-limiter-audit)
51
51
-[USDC Ağ Geçidi](https://blog.openzeppelin.com/scroll-usdc-gateway-audit)
ZK rolluplar, Ethereum için ideal ölçeklendirme çözümü olarak geniş çapta kabul edilmektedir. Ethereum Katman 1'in güçlü güvenliğini miras alırlar ve diğer Katman 2 çözümleriyle karşılaştırıldığında en hızlı işlem kesinliğini sunarlar.
13
+
ZK rolluplar, Ethereum için ideal ölçeklendirme çözümü olarak geniş çapta kabul edilmektedir. Ethereum'un güçlü güvenliğini miras alırlar ve diğer L2 çözümleriyle karşılaştırıldığında en hızlı işlem kesinliğini sunarlar.
14
14
15
-
ZK rollupların temel fikri, işlemleri zincir dışında yürütmek ve yürütmenin geçerliliğine dair kısa ve öz kanıtlar oluşturmaktır. Bu kısa ve öz kanıtlar daha sonra Ethereum Katman 1'e gönderilebilir ve doğrulanabilir. ZK rolluplar, bir grup işlem için kanıtın doğrulanması, işlem kümesinin yeniden yürütülmesinden çok daha ucuz olduğundan ölçeklenebilirliği artırır.
15
+
ZK rollupların temel fikri, işlemleri zincir dışında yürütmek ve yürütmenin geçerliliğine dair kısa ve öz kanıtlar oluşturmaktır. Bu kısa ve öz kanıtlar daha sonra Ethereum'a gönderilebilir ve doğrulanabilir. ZK rolluplar, bir grup işlem için kanıtın doğrulanması, işlem kümesinin yeniden yürütülmesinden çok daha ucuz olduğundan ölçeklenebilirliği artırır.
16
16
17
17
ZK rolluplar, destekledikleri işlem türlerine göre uygulamaya özel ve genel amaçlı rolluplar olarak kategorize edilebilir. Uygulamaya özel ZK rolluplar, ödemeler ve takaslar gibi belirli işlem kümeleri veya bir oyuncunun zincir üstü bir oyun için eylem kümesi için tasarlanmıştır. Bu durumlarda, rolluplar yalnızca oyun oyuncuları için geçerli durum geçişleri gibi desteklenen temel öğelerin doğruluğunu kanıtlayan kanıtlar üretmesi gerekir.
Copy file name to clipboardExpand all lines: src/content/docs/tr/technology/zkevm/zkevm-overview.mdx
+6-6Lines changed: 6 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -16,7 +16,7 @@ import zkevm3 from "../_images/zkevm3.png"
16
16
17
17
EVM'nin çalışmasını kanıtlayan zkEVM'nin nasıl oluşturulacağını anlamak için öncelikle EVM'nin kendisine bakmamız gerekiyor.
18
18
19
-
EVM, durum geçiş fonksiyonu olarak modellenebilir. Başlangıç dünya durumu "S" ve bir "T" işlemi verildiğinde, yeni bir dünya durumu "S": "f(S,T) = S" üreten bir geçiş fonksiyonu "f"yi belirtir.
19
+
EVM, durum geçiş fonksiyonu olarak modellenebilir. Başlangıç dünya durumu `S` ve bir `T` işlemi verildiğinde, yeni bir dünya durumu `S’`: `f(S,T) = S'` üreten bir geçiş fonksiyonu `f`yi belirtir.
20
20
21
21
"Dünya durumu", [değiştirilmiş Merkle-Patricia Trie](https://ethereum.org/en/developers/docs/data-structures-and-encoding/patricia-merkle-trie/) (MPT) olarak modellenmiştir. Bu trie ağın tüm kalıcı verilerini içerir. Bu, tüm harici sahipli hesapların (EOA'lar) ve akıllı sözleşme hesaplarının bilgilerini içerir. Akıllı sözleşme hesapları, akıllı sözleşmenin bytecode'unu ve kalıcı depolamayı tutan alt trie'lere sahiptir.
22
22
@@ -32,19 +32,19 @@ Opcode'lar yürütüldükçe durum trie'si değiştirilir. Bu, yeni bir durum k
32
32
33
33
## Bir EVM yürütmesinin kanıtlanması
34
34
35
-
zkEVM'nin amacı, bir işlemin yürütülmesinin geçerliliğini doğrulayan bir kanıt oluşturmaktır. Başka bir deyişle, başlangıç dünya durumu "S", bir işlem "T" ve sonuçta ortaya çıkan dünya durumu "S" verildiğinde, zkEVM'nin "f(S,T) = S" olduğuna dair bir kanıt üretmesi gerekir; burada `f`, Ethereum Yellow Paper'da belirtilen durum geçiş fonksiyonudur.
35
+
zkEVM'nin amacı, bir işlemin yürütülmesinin geçerliliğini doğrulayan bir kanıt oluşturmaktır. Başka bir deyişle, başlangıç dünya durumu `S`, bir işlem `T` ve sonuçta ortaya çıkan dünya durumu `S` verildiğinde, zkEVM'nin `f(S,T) = S` olduğuna dair bir kanıt üretmesi gerekir; burada `f`, Ethereum Yellow Paper'da belirtilen durum geçiş fonksiyonudur.
36
36
37
-
Geçiş fonksiyonu yürütmesinin geçerliliğini kanıtlamak için yürütmeyi adım adım yürütme izine böleriz. 'f(S,T)'nin yürütülmesi, sıralı opcode yürütmelerinin bir listesine genişletilir. Yürütme izi, 'f(S,T) = S' durum geçişinin doğruluğunu onaylayan bir "tanık" görevi görür - iz, bir anlamda, durumun "S"den nasıl geçiş yaptığını adım adım açıklayan bir açıklamadır. 'S''ye.
37
+
Geçiş fonksiyonu yürütmesinin geçerliliğini kanıtlamak için yürütmeyi adım adım yürütme izine böleriz. `f(S,T)`nin yürütülmesi, sıralı opcode yürütmelerinin bir listesine genişletilir. Yürütme izi, `f(S,T) = S` durum geçişinin doğruluğunu onaylayan bir "tanık" görevi görür - iz, bir anlamda, durumun `S`den `S'`e nasıl geçiş yaptığını adım adım açıklayan bir açıklamadır.
38
38
39
39
Daha sonra sorun aşağıdakileri kanıtlamaya indirgenir:
40
40
41
41
- Yürütme izlemesi _doğru_.
42
42
- Her bir opcode, Ethereum Yellow Paper spesifikasyonuna göre doğru şekilde yürütülür.
43
-
- Örneğin, "ADD" opcode'u, yığından iki değerin çıkarılması ve bunların toplamının yığına aktarılmasıyla sonuçlanmalıdır.
44
-
- Bir kanıt, geçici veri depolarında (stack and memory) veya kalıcı veri depolarında (contract bytecode and storage) yapılan değişiklikler de dahil olmak üzere her bir opcode'unun uygun davranışla yürütüldüğünü göstermelidir.
43
+
- Örneğin, `ADD` opcode'u, yığından iki değerin çıkarılması ve bunların toplamının yığına aktarılmasıyla sonuçlanmalıdır.
44
+
- Bir kanıt, geçici veri depolarında (stack and memory) veya kalıcı veri depolarında yapılan değişiklikler de dahil olmak üzere her bir opcode'unun uygun davranışla yürütüldüğünü göstermelidir.
45
45
- Yürütülen opcodelarının sıralı listesi aslında işlem tarafından tetiklenen opcodelarının doğru listesidir.
46
46
- Bu, ilk işlem çağrı verilerinin ve çağrılan sözleşmelerin bytecode'unun doğru şekilde yüklenmesini içerir.
47
-
- Yürütme izlemesi başlangıç durumu "S" ile başlar ve "S" durumuyla sonuçlanır.
47
+
- Yürütme izlemesi başlangıç durumu `S` ile başlar ve `S` durumuyla sonuçlanır.
0 commit comments