mutourend
mutourend

Polygon zkEVM的Dragon Fruit和Inca Berry升级

1. Polygon zkEVM的Dragon Fruit升级

2023年8月31日，Polygon zkEVM团队宣称启动了其Mainnet Beta的Dragon Fruit升级的10天timelock，预计将于2023年9月11日激活。

Dragon Fruit升级点有：

  • 改进了网络
  • 支持了最新的以太坊opcode——PUSH0

1.1 Dragon Fruit升级点

Dragon Fruit，又名ForkID5，包含了2个新特性：

  • 1）PUSH0：最新的以太坊opcode，PUSH0已包含在以太坊Shanghai硬分叉中。一旦Dragon Fruit升级完成，Polygon zkEVM Mainnet Beta与最新版本的Solidity一致，以维护rollup的EVM等价性。更多PUSH0知识，见EIP-3855。
  • 2）RLP解析：修复了交易解析的一个非致命错误。

1.2 Dragon Fruit升级审计

Spearbit对以上Dragon Fruit升级特性进行了安全性审计，同时对在本次升级中所包含的密码学优化进行了独立审计。Spearbit未发现任何致命风险或可靠性问题。在审计过程中所发现的非致命风险均已修复并经Spearbit确认。
具体的审计报告见：

  • 密码学审计报告
  • PUSH0和RLP审计报告

1.3 Dragon Fruit测试网

当前，可使用Dragon Fruit测试网来体验push0，具体见Polygon zkEVM的公开测试网：

  • Polygon zkEVM的Dragon Fruit公开测试网【注意切换“Testnet Products”选项】

1.4 Dragon Fruit到Mainnet Beta的升级路径

Dragon Fruit会影响Verifier，因Verifier中包含了生成state transitions的逻辑。这要求升级Polygon.zkEVM.sol共识合约。

为与Polygon zkEVM的治理模式 保持一致，本次Polygon zkEVM Mainnet Beta升级已触发了10天的timelock。

升级流程已启动、执行，并将在10天内结束——即9月10日。在此提醒开发者和普通用户，在timelock会保护其安全性，在升级完成之前，给足够的时间取回资金（如有需要）。

已升级合约见：

  • https://etherscan.io/address/0x301442aa888701c8b86727d42f3c55fb0dd9ef7f/advanced#code

包含升级提案及其签名的交易哈希见：

  • https://etherscan.io/tx/0x94c0d1e336349013d0fe2072375d5b40c174fc26f7f1b06f23ddf4c6b1142519

1.4 升级Dragon Fruit之后

在9月中旬，一旦Dragon Fruit在以太坊主网激活之后，开发者需更新到最新版本的节点、prover和bridge服务，具体为：

  • Node v0.3.0
  • Prover v2.2.0
  • Bridge服务 v0.2.0

2. Polygon zkEVM的Inca Berry升级

2023年10月26日，Polygon zkEVM团队宣称启动了其Mainnet Beta的Inca Berry升级的10天timelock。

Inca Berry升级点主要有：

  • 升级后的FflonkVerifier.sol合约
  • Inca Berry升级交易提案

伴随着Inca Berry升级，节点和prover也将更新。

对于终端用户来说，一旦Inca Berry升级激活，无需任何操作可继续使用Polygon zkEVM。从终端用户角度来看，一切皆未变。

2.1 Inca Berry升级点及审计

Inca Berry升级主要：

  • 做了密码学优化
  • 修复了一些bug
  • 更新了prover和节点，包括给sequencer添加了data stream，并改进了Websocket订阅。

之前的prover代码无法在最流行的（除Ubuntu之外的）桌面Linux系统上编译。随着本次升级，prover代码将兼容GCC13，且开发者在Linux系统中编译和执行prover。

Inca Berry升级相关审计由Verichains主导。未来将分享相应审计报告。

2.2 下一步 及 如今如何测试Inca Berry

为与Polygon zkEVM的治理模式 保持一致，本次Polygon zkEVM Mainnet Beta升级已触发了10天的timelock，将于2023年11月5日结束。
在此提醒开发者和普通用户，在timelock会保护其安全性，在升级完成之前，给足够的时间取回资金（如有需要）。

该timelock对开发者来说，也是自行测试和验证升级的机会。Inca Berry以及最新版本的node和prover，均已在Polygon zkEVM公开测试网上可用：

  • Polygon zkEVM的Inca Berry公开测试网【注意切换“Testnet Products”选项】

2.3 升级Inca Berry之后

一旦Inca Berry在以太坊主网激活，开发者需更新最新版本的node和prover：

  • Node v0.3.2
  • Prover v3.0.0

参考资料

[1] 2023年8月31日 Polygon zkEVM: Dragon Fruit Upgrade (with New Opcode) Coming to Mainnet Beta
[2] 2023年10月26日 Polygon zkEVM: Inca Berry Upgrade Coming to Mainnet Beta

附录：Polygon Hermez 2.0 zkEVM系列博客

  • ZK-Rollups工作原理
  • Polygon zkEVM——Hermez 2.0简介
  • Polygon zkEVM网络节点
  • Polygon zkEVM 基本概念
  • Polygon zkEVM Prover
  • Polygon zkEVM工具——PIL和CIRCOM
  • Polygon zkEVM节点代码解析
  • Polygon zkEVM的pil-stark Fibonacci状态机初体验
  • Polygon zkEVM的pil-stark Fibonacci状态机代码解析
  • Polygon zkEVM PIL编译器——pilcom 代码解析
  • Polygon zkEVM Arithmetic状态机
  • Polygon zkEVM中的常量多项式
  • Polygon zkEVM Binary状态机
  • Polygon zkEVM Memory状态机
  • Polygon zkEVM Memory Align状态机
  • Polygon zkEVM zkASM编译器——zkasmcom
  • Polygon zkEVM哈希状态机——Keccak-256和Poseidon
  • Polygon zkEVM zkASM语法
  • Polygon zkEVM可验证计算简单状态机示例
  • Polygon zkEVM zkASM 与 以太坊虚拟机opcode 对应集合
  • Polygon zkEVM zkROM代码解析（1）
  • Polygon zkEVM zkASM中的函数集合
  • Polygon zkEVM zkROM代码解析（2）
  • Polygon zkEVM zkROM代码解析（3）
  • Polygon zkEVM公式梳理
  • Polygon zkEVM中的Merkle tree
  • Polygon zkEVM中Goldilocks域元素circom约束
  • Polygon zkEVM Merkle tree的circom约束
  • Polygon zkEVM FFT和多项式evaluate计算的circom约束
  • Polygon zkEVM R1CS与Plonk电路转换
  • Polygon zkEVM中的子约束系统
  • Polygon zkEVM交易解析
  • Polygon zkEVM 审计及递归证明
  • Polygon zkEVM发布公开测试网2.0
  • Polygon zkEVM测试集——创建合约交易
  • Polygon zkEVM中的Recursive STARKs
  • Polygon zkEVM的gas定价
  • Polygon zkEVM zkProver基本设计原则 以及 Storage状态机
  • Polygon zkEVM bridge技术文档
  • Polygon zkEVM Trustless L2 State Management 技术文档
  • Polygon zkEVM中的自定义errors
  • Polygon zkEVM RPC服务
  • Polygon zkEVM Prover的 RPC功能
  • Polygon zkEVM PIL技术文档
  • Polygon zkEVM递归证明技术文档（1）【主要描述了相关工具 和 证明的组合、递归以及聚合】
  • Polygon zkEVM递归证明技术文档（2）—— Polygon zkEVM架构设计
  • Polygon zkEVM递归证明技术文档（3）——代码编译及运行
  • Polygon zkEVM递归证明技术文档（4）—— C12 PIL Description
  • Polygon zkEVM递归证明技术文档（5）——附录：借助SNARKjs和PIL-STARK实现proof composition
  • eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（1）
  • eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（2）
  • eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（3）

你可能感兴趣的:(zkVM,zkVM)

  • SP1：基于Plonky3构建的zkVM mutourend zkVMzkVM
    1.引言SP1为SuccictLab开源的，基于Plonky3构建的zkVM。开源代码见：https://github.com/succinctlabs/sp1（Rust）当前暂未实现onchain-verifier，但会采用标准的STARK->SNARKverifier。SP1zkVM基于的指令集为：riscv32im（与RISCZero的指令集一样）在SP1zkVM中运行某程序之前，需将该程序
  • RISC Zero zkVM Host & Guest 101 mutourend zkVMzkVM
    1.引言在RISCZerozkVM应用程序中，host为运行RISCZerozkVM的机器（或系统）。host为不可信agent，负责设置zkVM环境和处理执行过程中的输入输出。host程序（代码），是指：zkVM应用中的host-native、不可信的部分。负责加载guest程序，并为guest程序提供必要的输入。若基于Bonsai构建，则无需编写host代码。zkVM应用中，host负责构建并
  • ZK*FM：RISC Zero zkVM的形式化验证 mutourend zkVMzkVM
    1.引言开源代码见：https://github.com/risc0/risc0-lean4（Lean和Rust）ZK*FM为RISCZerozkVM的形式化验证：ZK：Thecomputerrantherightprogram。FM：Theprogramdidtherightthing。ZK*FM：Thecomputerdidtherightthing。可使用FM来证明RISCZero的ZKto
  • RISC Zero zkVM guest程序优化技巧 及其 与物理CPU的关键差异 mutourend zkVMzkVM
    1.引言RISCZerozkVM设计并实现为与物理CPU功能类似。从而对于RISCZerozkVMguest程序：可使用通用编程语言（如Rust）和通用工具（如Cargo，LLVM）。通常，也可使用通用优化技术来优化。在RISCZerozkVM的某应用中，guest程序为zkVM待执行和证明的代码。guest应具有reading、writting和committing的基本功能，具体为：1）读取输
  • 技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1） mutourend 零知识证明零知识证明
    1.引言开源代码实现见：https://github.com/hashcloak/fhe_risc0_zkvm（Rust）https://github.com/weikengchen/vfhe-profiled（Rust）https://github.com/l2iterative/vfhe0（Rust）L2IVResearch团队近期尝试用ZKP来验证FHE，原因在于如下2大应用场景的出现：1）
  • Reed-Solomon Codes及其与RISC Zero zkVM的关系 mutourend zkVMzkVM
    1.引言前序博客：Reed-SolomonCodes——RS纠错码Reed-SolomonCodes当前广泛用于：QRcodes二维码Cellularcommunication蜂窝通信STARKs2.简化的Reed-SolomonEncoding（RS编码）所谓encoding（编码），是指：将messages转换为codewords的系统。即：Enc:{messages}→{codewords}
  • RISC Zero zkVM架构 mutourend zkVMzkVM
    1.引言RISCZerozkVM为：基于FRI+PLONK构建的采用VonNeumann架构的ZKMachine将RISC-V微控制器具化为某基于STARK的证明系统，的微架构和编码机制。2.Row(Time)Structure一个cycle对应1个memorytransaction，对用户传入的程序elf可执行文件的处理流程为：1）INIT：初始化阶段。有特殊的初始化cycle，用于重置状态。2
  • Continuations：扩展RISC Zero zkVM支持（无限）大计算 mutourend zkVMzkVM
    1.引言前序博客：Risc0：使用Continunations来证明任意EVM交易RISCZero在2013年5月的0.15版本中，引入了Continuous机制：移除了证明生成时的“cyclelimit”限制解锁了在RISCZerozkVM中运行EVMinterpreter或WASMinterpreter的能力扩展为可支持（无限）大计算Continuous机制的核心思想为：将execution切
  • RISC Zero zkVM 白皮书 mutourend zkVMzkVM
    1.引言RISCZero提供了开源的虚拟机+零知识证明系统，即zero-knowledgevirtualmachine（简称zkVM）。当在zkVM中执行某RISC-V二进制文件时，其输出为：二进制文件执行结果＋一个computationalreceipt，提供了计算完整性的零知识证明。RISCZero的证明系统采用zk-STARK，基于以下关键要素：FRI协议DEEP-ALI基于HMAC-SHA
  • Risc zero ZKVM：zk-STARKs + RISC-V mutourend 零知识证明zkVMrisc-v
    1.引言Risczero定位为：TheGeneralPurposeZero-KnowledgeVM.ProveanyComputation.VerifyInstantly.开源代码见：https://github.com/risc0/risc0TheRISCZeroZKVMisaverifiablecomputerthatworkslikearealembeddedRISC-Vmicroproce
  • RISC0：Towards a Unified Compilation Framework for Zero Knowledge mutourend zkVM零知识证明
    1.引言本文主要摘自RISC0（RISCZERO）创始人BrianRetford在CompilerandComposabilityinZKP上的演讲内容。2.何为ZKVM？3.密集型计算加速策略4.MLIR参考资料[1]CompilerandComposabilityinZKP
  • RISC-V与RISC Zero zkVM的关系 mutourend zkVMzkVM
    1.引言本文基本结构为：编程语言背景介绍RISC-V虚拟机作为zkVM电路为何选择RISC-V？2.编程语言背景介绍高级编程语言不专门针对某个架构，其便于人类编写。高级编程语言代码，经编译器编译后，会生成针对专门某架构的汇编代码，汇编代码是供机器使用的。也可以直接编写汇编代码：以上汇编代码示例中：蓝色框表示：所编码的数据和指令。黄色框：为对蓝色框的反汇编。黑色框：为这些opcodes的位置信息。可
  • 针对zkVM中Memory Consistency Checks的Polynomial IOPs mutourend zkVMzkVM
    1.引言主要参考YuncongZhang等人2023年论文《PolynomialIOPsforMemoryConsistencyChecksinZero-KnowledgeVirtualMachines》。在设计zkvm时，需检查其所有组件的功能一致性，包括：instructionfetcher寄存器文件算术化逻辑单元内存其中最具挑战的技术协议为Memoryconsistencycheck（MCC
  • RISC Zero zkVM性能指标 mutourend zkVMzkVM
    1.引言对应代码：https://github.com/risc0/risc0（C++和Rust）运行如下指令，进行性能评估：cargorun-r--exampleloop//CPUcargorun-r-Fmetal--exampleloop//MetalGPUcargorun-r-Fcuda--exampleloop//CUDAGPUcargobench--benchfib//默认为CPU，可配
  • zkVM设计性能分析 mutourend zkVMzkVM
    1.引言本文主要参考：2023年9月ZKSummit10WeiDai@1k(x)&TerryChung@1k(x)分享视频ZK10:AnalysisofzkVMDesigns-WeiDai&TerryChung当前有各种zkVM，其设计思想各有不同，且各有取舍，本文重点对现有各zkVM设计进行分析。zkVMs寒武纪大爆发：2020年之前的zkVM方案均是学术性的，不具备实用性，具体有：TinyRA
  • Polygon Miden：扩展以太坊功能集的ZK-optimized rollup mutourend zkVMzkVM
    1.引言PolygonMiden定位为zkVM，定于2023年Q4上公开测试网。zk、zkVM、zkEVM及其未来中指出，当前主要有3种类型的zkVM，括号内为其相应的指令集：mainstream（WASM,RISC-V）EVM（EVMbytecode）ZK-Optimized（专为零知识证明优化的新型指令集，如Cairo的指令集和zkSync的指令集）PolygonMiden为：ZK-optim
  • zk、zkVM、zkEVM及其未来 mutourend zkVM区块链
    1.引言zk（zero-knowledge）proof：可保证计算的完整性、正确性和隐私性，在区块链扩容和隐私领域大有可为。zk-SNARK和zk-STARK各具优势，二者结合潜力无穷。zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。EVM兼容性包括EVM兼容性、等价性和规范级兼容性。zkEVM是一个EVM兼容且零知识证明友好的环境。它可以分为基于
  • 基于Nova/SuperNova的zkVM mutourend zkVMzkVM
    1.引言本文为2023年3月13~4月7日ZKSpringResidencyinVietnam上，由PSE团队、OrochiNetwork团队、0xPARC团队、Oskar（独立个人）以及Delv团队联合发布。Nova：借助IncrementalVerifiableComputation（IVC）和foldingscheme，Nova可更高效地执行重复相同的代码块。Nova采用的安全假设为GLOG
  • Research Day 2023：Succinct ZKP最新进展 mutourend 零知识证明零知识证明
    1.引言主要见YingTong在ResearchDay2023上视频分享：AdvancesintheEfficiencyofSuccinctProofs-YingTongZKP技术可用于：1）Verifiablevirtualmachine：如各种zkEVM和zkVM。2）verifiablecloudcomputing：2015年论文《ClusterComputinginZeroKnowledg
  • zkLLVM：nil Foundation开发的电路编译器 mutourend 零知识证明零知识证明
    1.引言zkLLVM：nilFoundation开发的电路编译器，不是zkVM。不过，“zkLLVM+proofmarket”可构建zkVM。开源代码见：zkLLVMCircuitCompiler（C++）zkLLVM可：将高级编程语言编写的电路编译为LLVMIR（IntermediateRepresentation）bytecode表示；当前支持C/C++（Clang15），即将支持Rust语言
  • 智能合约开发——Sui/Move vs. Solana/Rust mutourend 智能合约智能合约
    1.引言前序博客有：zkMove——针对Move合约生态的zkVM定位为高性能L1的Aptos和Sui，均采用Move合约编程语言。Solana也定位为高性能L1，但其采用Rust合约编程语言。本文重点对比Sui/Move和Solana/Rust合约编程语言。【Aptos/Move为不同的Move变种，有细微的差别。不过只要原生支持Movebytecode，则所有主要Move优势适于所有Move变
  • zkMove——针对Move合约生态的zkVM mutourend zkVM零知识证明
    1.引言Move为不同于Solidity的，开源的安全的智能合约开发语言，最早由Facebook为Diem链创造开发。不过，Move本身设计为与平台无关的语言，具有通用的库、工具，并使得采用完全不同数据模型和执行模型的链的开发者社区都可使用Move。当前支持Move合约的链有：Sui：定位为具有高吞吐量、低延迟、面向资产编程模式的下一代智能合约平台，采用Move语言进行合约开发。当前处于devne
  • BulletproofVM：Avalanche上的zkVM mutourend zkVM零知识证明
    1.引言开源代码见：https://github.com/usmaneth/BulletproofVM（Rust）BulletproofVM为Avalanche上的基于Bulletproofs证明系统构建的zkVM，其主要特性为：MaintainsastateconsistingofaccountswithbalancesandassetsExecutesstandardtransactionsf
  • springmvc 下 freemarker页面枚举的遍历输出 杨白白 enumfreemarker
    spring mvc freemarker 中遍历枚举 1枚举类型有一个本地方法叫values（），这个方法可以直接返回枚举数组。所以可以利用这个遍历。 enum public enum BooleanEnum { TRUE(Boolean.TRUE, "是"), FALSE(Boolean.FALSE, "否");
  • 实习简要总结 byalias 工作
    来白虹不知不觉中已经一个多月了，因为项目还在需求分析及项目架构阶段，自己在这段 时间都是在学习相关技术知识，现在对这段时间的工作及学习情况做一个总结： （1）工作技能方面 大体分为两个阶段，Java Web 基础阶段和Java EE阶段 1）Java Web阶段 在这个阶段，自己主要着重学习了 JSP, Servlet, JDBC, MySQL，这些知识的核心点都过 了一遍，也
  • Quartz——DateIntervalTrigger触发器 eksliang quartz
    转载请出自出处：http://eksliang.iteye.com/blog/2208559 一.概述 simpleTrigger 内部实现机制是通过计算间隔时间来计算下次的执行时间，这就导致他有不适合调度的定时任务。例如我们想每天的 1：00AM 执行任务，如果使用 SimpleTrigger，间隔时间就是一天。注意这里就会有一个问题，即当有 misfired 的任务并且恢复执行时，该执行时间
  • Unix快捷键 18289753290 unixUnix；快捷键;
    复制，删除，粘贴： dd:删除光标所在的行                             &nbs
  • 获取Android设备屏幕的相关参数 酷的飞上天空 android
    包含屏幕的分辨率  以及 屏幕宽度的最大dp 高度最大dp   TextView text = (TextView)findViewById(R.id.text); DisplayMetrics dm = new DisplayMetrics(); text.append("getResources().ge
  • 要做物联网？先保护好你的数据 蓝儿唯美 数据
    根据Beecham Research的说法，那些在行业中希望利用物联网的关键领域需要提供更好的安全性。 在Beecham的物联网安全威胁图谱上，展示了那些可能产生内外部攻击并且需要通过快速发展的物联网行业加以解决的关键领域。 Beecham Research的技术主管Jon Howes说：“之所以我们目前还没有看到与物联网相关的严重安全事件，是因为目前还没有在大型客户和企业应用中进行部署，也就
  • Java取模（求余）运算 随便小屋 java
            整数之间的取模求余运算很好求，但几乎没有遇到过对负数进行取模求余，直接看下面代码： /** * * @author Logic * */ public class Test { public static void main(String[] args) { // TODO A
  • SQL注入介绍 aijuans sql注入
    二、SQL注入范例 这里我们根据用户登录页面 <form action="" > 用户名：<input type="text" name="username"><br/> 密 码：<input type="password" name="passwor
  • 优雅代码风格 aoyouzi 代码
    总结了几点关于优雅代码风格的描述： 代码简单：不隐藏设计者的意图，抽象干净利落，控制语句直截了当。 接口清晰：类型接口表现力直白，字面表达含义，API 相互呼应以增强可测试性。 依赖项少：依赖关系越少越好，依赖少证明内聚程度高，低耦合利于自动测试，便于重构。 没有重复：重复代码意味着某些概念或想法没有在代码中良好的体现，及时重构消除重复。 战术分层：代码分层清晰，隔离明确，
  • 布尔数组 百合不是茶 java布尔数组
      androi中提到了布尔数组;   布尔数组默认的是false,  并且只会打印false或者是true   布尔数组的例子;  根据字符数组创建布尔数组 char[] c = {'p','u','b','l','i','c'}; //根据字符数组的长度创建布尔数组的个数 boolean[] b = new bool
  • web.xml之welcome-file-list、error-page bijian1013 javaweb.xmlservleterror-page
    welcome-file-list 1.定义： <welcome-file-list> <welcome-file>login.jsp</welcome> </welcome-file-list>  2.作用：用来指定WEB应用首页名称。   error-page1.定义： <error-page&g
  • richfaces 4 fileUpload组件删除上传的文件 sunjing clearRichfaces 4fileupload
     页面代码               <h:form id="fileForm">            <rich:
  • 技术文章备忘 bit1129 技术文章
    Zookeeper http://wenku.baidu.com/view/bab171ffaef8941ea76e05b8.html http://wenku.baidu.com/link?url=8thAIwFTnPh2KL2b0p1V7XSgmF9ZEFgw4V_MkIpA9j8BX2rDQMPgK5l3wcs9oBTxeekOnm5P3BK8c6K2DWynq9nfUCkRlTt9uV
  • org.hibernate.hql.ast.QuerySyntaxException: unexpected token: on near line 1解决方案 白糖_ Hibernate
    文章摘自：http://blog.csdn.net/yangwawa19870921/article/details/7553181   在编写HQL时，可能会出现这种代码： select a.name,b.age from TableA a left join TableB b on a.id=b.id  如果这是HQL，那么这段代码就是错误的，因为HQL不支持
  • sqlserver按照字段内容进行排序 bozch 按照内容排序
    在做项目的时候，遇到了这样的一个需求：           从数据库中取出的数据集，首先要将某个数据或者多个数据按照地段内容放到前面显示，例如:从学生表中取出姓李的放到数据集的前面；          select * fro
  • 编程珠玑-第一章-位图排序 bylijinnan java编程珠玑
    import java.io.BufferedWriter; import java.io.File; import java.io.FileWriter; import java.io.IOException; import java.io.Writer; import java.util.Random; public class BitMapSearch {
  • Java关于==和equals chenbowen00 java
    关于==和equals概念其实很简单，一个是比较内存地址是否相同，一个比较的是值内容是否相同。虽然理解上不难，但是有时存在一些理解误区，如下情况： 1、 String a = "aaa"; a=="aaa"; ==> true 2、 new String("aaa")==new String("aaa
  • [IT与资本]软件行业需对外界投资热情保持警惕 comsci it
          我还是那个看法,软件行业需要增强内生动力,尽量依靠自有资金和营业收入来进行经营,避免在资本市场上经受各种不同类型的风险,为企业自主研发核心技术和产品提供稳定,温和的外部环境...       如果我们在自己尚未掌握核心技术之前,企图依靠上市来筹集资金,然后使劲往某个领域砸钱,然
  • oracle 数据块结构 daizj oracle块数据块块结构行目录
    oracle 数据块是数据库存储的最小单位，一般为操作系统块的N倍。其结构为： 块头－－〉空行－－〉数据，其实际为纵行结构。 块的标准大小由初始化参数DB_BLOCK_SIZE指定。具有标准大小的块称为标准块（Standard Block）。块的大小和标准块的大小不同的块叫非标准块（Nonstandard Block）。同一数据库中，Oracle9i及以上版本支持同一数据库中同时使用标
  • github上一些觉得对自己工作有用的项目收集 dengkane github
    github上一些觉得对自己工作有用的项目收集 技能类 markdown语法中文说明 回到顶部 全文检索 elasticsearch bigdesk elasticsearch管理插件 回到顶部 nosql mapdb 支持亿级别map, list, 支持事务. 可考虑做为缓存使用 C
  • 初二上学期难记单词二 dcj3sjt126com englishword
    dangerous 危险的 panda 熊猫 lion 狮子 elephant 象 monkey 猴子 tiger 老虎 deer 鹿 snake 蛇 rabbit 兔子 duck 鸭 horse 马 forest 森林 fall 跌倒；落下 climb 爬；攀登 finish 完成；结束 cinema 电影院；电影 seafood 海鲜；海产食品 bank 银行
  • 8、mysql外键(FOREIGN KEY)的简单使用 dcj3sjt126com mysql
    一、基本概念 1、MySQL中“键”和“索引”的定义相同，所以外键和主键一样也是索引的一种。不同的是MySQL会自动为所有表的主键进行索引，但是外键字段必须由用户进行明确的索引。用于外键关系的字段必须在所有的参照表中进行明确地索引，InnoDB不能自动地创建索引。 2、外键可以是一对一的，一个表的记录只能与另一个表的一条记录连接，或者是一对多的，一个表的记录与另一个表的多条记录连接。 3、如
  • java循环标签 Foreach shuizhaosi888 标签java循环foreach
    1. 简单的for循环 public static void main(String[] args) { for (int i = 1, y = i + 10; i < 5 && y < 12; i++, y = i * 2) { System.err.println("i=" + i + " y="
  • Spring Security（05）——异常信息本地化 234390216 exceptionSpring Security异常信息本地化
    异常信息本地化          Spring Security支持将展现给终端用户看的异常信息本地化，这些信息包括认证失败、访问被拒绝等。而对于展现给开发者看的异常信息和日志信息（如配置错误）则是不能够进行本地化的，它们是以英文硬编码在Spring Security的代码中的。在Spring-Security-core-x
  • DUBBO架构服务端告警Failed to send message Response javamingtingzhao 架构DUBBO
     废话不多说，警告日志如下，不知道有哪位遇到过，此异常在服务端抛出(服务器启动第一次运行会有这个警告)，后续运行没问题，找了好久真心不知道哪里错了。    WARN 2015-07-18 22:31:15,272 com.alibaba.dubbo.remoting.transport.dispatcher.ChannelEventRunnable.run(84)
  • JS中Date对象中几个用法 leeqq JavaScriptDate最后一天
    近来工作中遇到这样的两个需求 1. 给个Date对象，找出该时间所在月的第一天和最后一天 2. 给个Date对象，找出该时间所在周的第一天和最后一天   需求1中的找月第一天很简单，我记得api中有setDate方法可以使用 使用setDate方法前，先看看getDate var date = new Date(); console.log(date); // Sat J
  • MFC中使用ado技术操作数据库 你不认识的休道人 sqlmfc
    1.在stdafx.h中导入ado动态链接库 #import"C:\Program Files\Common Files\System\ado\msado15.dll" no_namespace rename("EOF","end")2.在CTestApp文件的InitInstance()函数中domodal之前写::CoIniti
  • Android Studio加速 rensanning android studio
    Android Studio慢、吃内存！启动时后会立即通过Gradle来sync & build工程。 （1）设置Android Studio a) 禁用插件 File -> Settings...  Plugins 去掉一些没有用的插件。 比如：Git Integration、GitHub、Google Cloud Testing、Google Cloud
  • 各数据库的批量Update操作 tomcat_oracle javaoraclesqlmysqlsqlite
    MyBatis的update元素的用法与insert元素基本相同，因此本篇不打算重复了。本篇仅记录批量update操作的 sql语句，懂得SQL语句，那么MyBatis部分的操作就简单了。 　　注意：下列批量更新语句都是作为一个事务整体执行，要不全部成功，要不全部回滚。 MSSQL的SQL语句 　WITH R AS（ 　　SELECT 'John' as name, 18 as
  • html禁止清除input文本输入缓存 xp9802 input
    多数浏览器默认会缓存input的值，只有使用ctl+F5强制刷新的才可以清除缓存记录。如果不想让浏览器缓存input的值，有2种方法： 方法一： 在不想使用缓存的input中添加 autocomplete="off"; eg: <input type="text" autocomplete="off" name
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他