aboutsummaryrefslogtreecommitdiffstats
path: root/core
Commit message (Collapse)AuthorAgeFilesLines
* core: vm: sqlvm: runtime: implement opRepeatPKJhih-Ming Huang2019-05-064-85/+330
|
* Remove underflow error (#385)Meng-Ying Yang2019-05-064-43/+40
| | | core: vm: sqlvm: remove underflow error
* core: vm: sqlvm: change function id from bytes to uint16Meng-Ying Yang2019-05-062-21/+26
|
* core: vm: sqlvm: add built-in function RAND()Meng-Ying Yang2019-05-062-0/+91
|
* core: vm: sqlvm: add built-in function TX_ORIGIN()Meng-Ying Yang2019-05-062-0/+65
|
* core: vm: sqlvm: add built-in function MSG_DATA()Meng-Ying Yang2019-05-062-0/+61
|
* core: vm: sqlvm: add built-in function MSG_SENDER()Meng-Ying Yang2019-05-062-0/+66
|
* core: vm: sqlvm: add built-in function BLOCK_GASLIMIT()Meng-Ying Yang2019-05-062-0/+68
|
* core: vm: sqlvm: add built-in function BLOCK_COINBASE()Meng-Ying Yang2019-05-062-0/+64
|
* core: vm: sqlvm: add built-in function BLOCK_TIMESTAMP() and NOW()Meng-Ying Yang2019-05-062-4/+74
|
* core: vm: sqlvm: add built-in function BLOCK_NUMBER()Meng-Ying Yang2019-05-062-2/+70
|
* core: vm: sqlvm: add built-in function BLOCK_HASH()Meng-Ying Yang2019-05-064-1/+173
|
* core: vm: sqlvm: add opFuncMeng-Ying Yang2019-05-066-2/+59
| | | | Add `opFunc` as built-in funtions entry point.
* core: vm: sqlvm: add opNegMeng-Ying Yang2019-05-065-0/+248
| | | | Add `opNeg` supports operand negative.
* core: vm: sqlvm: add opConcatMeng-Ying Yang2019-05-065-5/+200
| | | | Add `opConcat` supports dynamic bytes (string) concating.
* core: vm: sqlvm: add opRangeMeng-Ying Yang2019-05-065-0/+318
| | | | | Add `opRange` which supports row range evaluation, such as `LIMIT` and `OFFSET`.
* core: vm: sqlvm: add opCutMeng-Ying Yang2019-05-065-0/+462
| | | | Add `opCut` which supports slice cutting.
* core: vm: sqlvm: process string before renderingMeng-Ying Yang2019-05-063-1971/+1375
| | | | | To reduce redundant information in template source data, we pre-process source data and generate target information before rendering.
* sqlvm: common: replace table/index name with TableRef/IndexRefyenlin.lai2019-05-064-44/+69
| | | | | Names will be mapped to references after parsing. Use references in hash will have better performance.
* sqlvm: common: refine StateDB/Storageyenlin.lai2019-05-066-54/+44
| | | | | | | In the context of vm module, we usually access vm.StateDB interface object instead of state.StateDB directly. Also, state.StateDB is usually passed with pointer and used with pointer receiver. Implement the similar behavior on Storage object.
* sqlvm: common: add Reader/Writer for Storageyenlin.lai2019-05-062-0/+176
| | | | | Sometimes we need a stream reader writer for the data on storage. For example, RLP decode the data on storage. Implement a wrapper around it.
* sqlvm: common: add some shared methods on Storage structyenlin.lai2019-05-064-15/+538
| | | | | Add methods for ACL control and index meta loading. These methods will be used outside runtime, so put them on Storage.
* core: vm: sqlvm: ast: decimal decode for boolJhih-Ming Huang2019-05-062-1/+17
|
* core: sqlvm: common: fix decimal limit valuesMeng-Ying Yang2019-05-062-5/+11
| | | | | The original limit values are so wrong. We fix the values, rename parameters according to Go's limit values naming rule.
* core: vm: sqlvm: ast: copy data before decimal decodewmin02019-05-061-0/+2
| | | | | Because decimalDecode modifies input data, we should make a copy first to prevent side effect.
* core: vm: sqlvm: schema: column rlp does not contain offset fieldswmin02019-05-061-2/+2
|
* core: vm: sqlvm: ast: fix unsigned get type error codewmin02019-05-061-1/+1
|
* core: vm: sqlvm: add jump tableMeng-Ying Yang2019-05-062-3/+27
|
* core: vm: sqlvm: add op testcases with templateMeng-Ying Yang2019-05-066-9/+6207
| | | | | | | | We reduce code of funtion call and nested struct initialization by generating testcases with go template system. Run `go run cmd/gen-op-test/main.go` first before testing instructions, and commit generated code for fully testing on CI.
* core: vm: sqlvm: opcodes and basic structsMeng-Ying Yang2019-05-066-17/+1570
| | | | | For runtime implementation, we define opcodes and basic structs for runtime usage and concrete implementation.
* core: vm: sqlvm: update op codeJhih-Ming Huang2019-05-061-87/+2
| | | | | | * Remove STOREPK. * Split STORE to UPDATE and INSERT. * Remove the examples.
* core: vm: sqlvm: runtime: opLoad load fixed bytes and address in bytesJhih-Ming Huang2019-05-065-23/+15
| | | | | To satisfy the latest spec, the data of type of address and fixed bytes will be stored in bytes instead of decimal value.
* vm: sqlvm: refine after updating dexon-foundation/decimalyenlin.lai2019-05-064-19/+7
| | | | | | Refine behaviors: 1. Check decimal.NewFromString by type instead of string compare. 2. Use Rescale in DecimalEncode.
* misc: replace shopspring/decimal with our forkyenlin.lai2019-05-0610-10/+12
|
* core: vm: sqlvm: schema: make foreign key constraints a sliceTing-Wei Lan2019-05-063-17/+52
| | | | It is allowed to declare multiple foreign key constraints on a column.
* core: vm: sqlvm: add a descriptor field to IdentifierNodeTing-Wei Lan2019-05-062-0/+51
| | | | | It will be used to store the descriptor of the object after the name is resolved.
* core: vm: sqlvm: support SQL three-valued logic on ASTTing-Wei Lan2019-05-065-390/+567
| | | | | | We make the zero value invalid by design. Users must be aware of the difference between SQL boolean and Go boolean and initialize it explicitly.
* core: vm: sqlvm: ast: rename DataTypeUnknown to DataTypePendingTing-Wei Lan2019-05-063-14/+19
| | | | | | | | SQL uses three-valued logic which includes an unknown state. To prevent the reader of the code from confusing the unknown value with the unknown data type defined here, we rename 'unknown' data type to 'pending' because it is intended to be used by nodes whose type has not been determined.
* core: vm: sqlvm: ast: rename TestSizeTing-Wei Lan2019-05-061-1/+1
| | | | | It is the last test function which doesn't mention what kind of data it operates on.
* core: vm: sqlvm: ast: don't calculate min and max values on demandTing-Wei Lan2019-05-063-57/+76
| | | | | | It is unsafe to write a map concurrently. Even if it is unlikely for us to call it from multiple threads, it is better to avoid providing an thread-unsafe API when it is possible.
* core: vm: sqlvm: ast: make DataTypeDecode a method of DataTypeTing-Wei Lan2019-05-063-30/+19
| | | | | | | | Since we have dropped DataTypeEncode in favor of GetType method of TypeNode, rename DataTypeDecode to GetNode and make it a method. Drop unnecessary zero checks because we don't care minor bytes when there is only one type belong to a category.
* core: vm: sqlvm: ast: rename tests for DataType encoding or decodingTing-Wei Lan2019-05-061-31/+31
| | | | | | Since we have both DataType and Decimal functions in this file, we should avoid using generic names such as TestEncode and TestDecode without mentioning what types are going to be tested.
* core: vm: sqlvm: ast: return error messages from GetTypeTing-Wei Lan2019-05-064-45/+85
| | | | | | | | To allow callers to provide precise error messages, return an error message in addition to an error code from GetType of TypeNode. Drop DataTypeEncode because it is never used by any code and it has become a simple wrapper of GetType.
* core: vm: sqlvm: schema: move methods of DataTypeMajorTing-Wei Lan2019-05-061-10/+10
| | | | We will add more methods to DataType.
* core: vm: sqlvm: schema: move Rest to the bottomTing-Wei Lan2019-05-061-1/+3
| | | | It is a special field which should not be accessed by any other files.
* core: vm: sqlvm: schema: unsigned integers can never be negativeTing-Wei Lan2019-05-061-2/+2
|
* core: vm: sqlvm: use common.HashLength instead of 32Ting-Wei Lan2019-05-063-9/+10
| | | | Keep them consisitent with ast/types.go.
* core: vm: remain first byte, if it is not VM enum.Jhih-Ming Huang2019-05-061-3/+1
| | | | | * If first byte is not VM enum, we should reserve it as checking VM type. * Remove debug print.
* core: vm: sqlvm: ast: implement decimal to uint64Jhih-Ming Huang2019-05-064-26/+82
| | | | | deciaml.IntPart() returns int64, so we have to implement a function to convert deciaml to uint64 for reading primary id from Raw.
* core: vm: sqlvm: runtime: implement opLoadJhih-Ming Huang2019-05-062-8/+510
|
* core: vm: sqlvm: common: storage: implement storage util functionsJhih-Ming Huang2019-05-063-1/+201
| | | | | Implement some storage utility functions, including shift slot, get dynamic byte and get primary key hash.
* core: vm: sqlvm: schema: implment get column field type and set offsetJhih-Ming Huang2019-05-062-2/+243
| | | | | Since we have to packing our data in slot, it needs to calculate each column field's slot and byte offset.
* core: vm: sqlvm: runtime: add loadRegister funcJhih-Ming Huang2019-05-062-1/+10
| | | | Implement load register to input operands, before each op.
* core: vm: sqlvm: ast: add size func and move error code to errors.goJhih-Ming Huang2019-05-063-19/+69
| | | | Move error code to errors.go, and implement Size method for column field.
* core: vm: sqlvm: types: fix encode bug when exponent is negative (#270)yenlinlai2019-05-062-4/+10
| | | | | It is possible that the number to encode is produced by arithmetic operations and has negative exponent even when it is an integer. Properly handle this case and modify test cases to check it.
* core: vm: sqlvm: schema: add structs to identify an object in a schemaTing-Wei Lan2019-05-061-0/+26
| | | | | These structs will be used in identifier nodes to store references to objects defined in the schema or the command itself.
* core: vm: sqlvm: schema: mark if an index are referenced by foreign keysTing-Wei Lan2019-05-061-0/+36
| | | | | | | In order to check foreign keys efficiently during deletion, an index should be marked when it is referenced by foreign keys. Since we now have flags which cannot be declared directly from the source code, two helper functions are added to distinguish between two groups of flags.
* core: vm: sqlvm: schema: reorder fields and enumsTing-Wei Lan2019-05-061-6/+19
| | | | | Reorder fields and enums according to the grammar file to make it easier to check whether all features supported by the grammar are implemented.
* core: vm: sqlvm: schema: drop pointers from slicesTing-Wei Lan2019-05-062-9/+9
| | | | | | | The number of tables, columns, indices are all limited to 256, so we don't have to do much memory copying during appending. Drop pointers from slices to save memory for storing pointers and possibly improve locality.
* core: vm: sqlvm: parser: check if a number literal is an integerTing-Wei Lan2019-05-062-976/+1045
| | | | | | ORDER BY and GROUP BY options have to decide whether an expression is a reference to the column specified in SELECT command by checking whether it consists of only one integer literal.
* core: vm: sqlvm: make a common interface for statementsTing-Wei Lan2019-05-065-1622/+2281
| | | | | | | So Parse now returns a []ast.StmtNode instead of a generic []ast.Node, which should be clearer on what the return value looks like. This also adds a field recording the verb use to identify the statement in order to provide better error messages.
* core: vm: sqlvm: errors: remove token fieldTing-Wei Lan2019-05-065-474/+440
| | | | | | | | Now both position and length are both recorded in the error struct, recording the token in the error struct no longer provides any benefit. It is easy to find the token when position and length are known, but requiring all error locations to fill the field is complicated because they have to access the source code to find the token.
* core: vm: fix typoTing-Wei Lan2019-05-061-1/+1
|
* remove dexon/crypto/sha3 pkg.Jhih-Ming Huang2019-05-063-7/+8
|
* core: vm: sqlvm: add shared variables (#228)Meng-Ying Yang2019-05-063-11/+19
|
* core: vm: sqlvm: add ESCAPE grammarwmin02019-05-064-653/+768
| | | | | Provide ESCAPE grammar for specifying escape character in like pattern matching.
* core: vm: sqlvm: errors: add length fieldTing-Wei Lan2019-05-065-442/+484
| | | | | When an error corresponds to a source code token, it should be able to report the length of the token in addition to the position.
* core: vm: sqlvm: limit the depth of AST to 1024Ting-Wei Lan2019-05-063-7/+50
| | | | | Since we traverse an AST by calling functions recursively, we have to protect the parser by limiting the depth of an AST.
* core: vm: sqlvm: parser: move generated code to internal packageTing-Wei Lan2019-05-065-1565/+1585
| | | | | | | | Code generated by pigeon includes many exported symbols which should not be used by any other code other than the parser itself. To prevent them from being misused, we used to hide them by editing the generated code with sed. This commit removes the unreliable sed trick by putting generated code to internal package.
* core: vm: sqlvm: ast: use non-empty interfaces in DataType{En,De}codeTing-Wei Lan2019-05-062-80/+34
| | | | | | | In addition to changes required to move DataTypeEncode and DataTypeDecode to use TypeNode interface, this commit also unifies the meaning of 'Size' field in 'FixedBytesTypeNode'. It always counts the length in bytes now.
* core: vm: sqlvm: errors: fix typoTing-Wei Lan2019-05-061-1/+1
|
* core: vm: sqlvm: parser: don't use @, #, $ in unquoted identifiersTing-Wei Lan2019-05-062-35/+34
| | | | | | These symbols are allowed in Microsoft SQL or PostgreSQL, but the SQL standard doesn't mention them. It is still possible to use these symbols as identifiers by putting them in double quotes.
* core: sqlvm: schema: define type for table/column/index/sequence sizeyenlin.lai2019-05-062-5/+17
| | | | | The size of table in db and column/index/sequence in a table is bounded by uint8. Define types for better readability.
* core: vm: sqlvm: ast: handle error in AST printerTing-Wei Lan2019-05-062-33/+63
| | | | Catch the error reported by fmt.Fprintf and report it to the caller.
* core: vm: sqlvm: fill source code position in AST nodesTing-Wei Lan2019-05-067-1141/+1510
| | | | | | | | | | | | | | | Now all AST nodes should have position information recorded during parsing. These fields are intended to be used to report errors and make debugging easier. However, precise location of each token is currently unavailable. It can be done in the future if it becomes necessary. To make it easier to traverse an AST, GetChildren is modified to skip nil nodes in the output. This means callers of GetChildren don't have to check for nil in returned slices. AST printer is modified to print the position and the corresponding source code token. A few special handling for interfaces are removed because reflection works better for structs.
* core: vm: sqlvm: ast: use pointer receiversTing-Wei Lan2019-05-061-89/+89
| | | | | | | Since all nodes must be declared as pointers to satisfy the interface, it is no longer meaningful to use value receivers. It should make the code look more consistent and reduce the amount of memory copying during function calls because these structs takes at least 8 bytes.
* core: vm: sqlvm: ast: remove pointer indicator in printer outputTing-Wei Lan2019-05-061-5/+4
| | | | | | Since our 'Node' interface includes methods which must be implemented with pointer receivers, all AST nodes are now referenced with pointers and the '*' pointer indicator is no longer useful.
* core: vm: sqlvm: check if a number is a valid addressTing-Wei Lan2019-05-065-334/+312
| | | | | | | | | | | | This commit implements isAddress function to allow a number literal to be considered as an address literal. Since Solidity only allows '0x' to be written in lower case, we remove the handling of upper case '0X' to keep the behavior in sync with Solidity. In addition to isAddress implementation, this commit also removes 'String' methods from AST nodes to prevent them from implementing the builtin 'Stringer' interface. Therefore, our AST printer is now able to print struct fields of value nodes instead of only one string.
* core: vm: sqlvm: introduce interfaces for AST nodesTing-Wei Lan2019-05-069-1704/+2956
| | | | | | | | | In order to make our AST easier and safer to use, all declarations with empty interface type are now removed. This changes also makes it possible to traverse the AST without using reflection or understanding what each type means because all AST nodes have at least one common interface.
* core: vm: sqlvm: runtime entrypoing error handlingMeng-Ying Yang2019-05-063-5/+14
| | | | Return error.Error to reveal more information about returned error.
* core: vm: sqlvm: parser: toDecimal handle .0wmin02019-05-062-0/+4
| | | | | To cover the pitfall of decimal.fromString, we need to add leading 0 at '^\.[0-9]+' case.
* core: rebase dev and fix lintJhih-Ming Huang2019-05-069-4414/+25
|
* core: vm: sqlvm: types support data rangeMeng-Ying Yang2019-05-062-0/+82
| | | | | The data range is deterministic for specific type, `GetMinMax` is helper function to generate min, max value for clients.
* core: vm: sqlvm: export instruction's member (#197)JM2019-05-062-6/+6
|
* core: vm: sqlvm: revert Tuple structure (#193)JM2019-05-061-4/+5
|
* core: vm: sqlvm: modify Tuple.Data.Value typeJhih-Ming Huang2019-05-061-7/+3
| | | | | Modify Tuple.Data.Value type from *big.Int to interface{} and remove Max, Min.
* core: vm: sqlvm: shared interfaces and paramsJhih-Ming Huang2019-05-066-0/+245
| | | | | | | After reconstructing commits, we move shared interfaces and params as first runtime implementation. In this commit we define OP codes, runtime flow and entrypoint, and basic operand structs and minor helper components.
* core: vm: sqlvm: add schema define and implement rlp serializationwmin02019-05-064-42/+310
| | | | Implement schema struct and handle its rlp serialization.
* core: vm: sqlvm: ast: add encoder/decoder for decimal to byteswmin02019-05-062-11/+196
| | | | | | | | Add encoder/decoder to convert between decimal and bytes. Also handle issues below. * Signed & Unsigned * Padding * Floating point of fixed
* core: vm: sqlvm: ast: data type encoder and decoderwmin02019-05-062-0/+244
| | | | | Implement encode & decode function to convert between type node and 2-bytes type described on spec.
* core: vm: sqlvm: ast: don't hardcode output and indent in PrintASTTing-Wei Lan2019-05-062-26/+35
| | | | | It is now possible to write AST dump to a writer other than stdout and use indent string other than 2 spaces.
* core: vm: sqlvm: process non-UTF-8 input and escape sequencesTing-Wei Lan2019-05-068-337/+579
| | | | | | | | | | | | | | | Our parser is able to process queries with invalid UTF-8, provided that it is compatible with ASCII. Since doing so requires encoding the input before passing to pigeon, Parse* functions generated by pigeon are unexported because they should not be used directly. Escape sequences in string literals and identifiers are now recognized. In addition to escape sequences supported by solidity, we support \U similar to the one supported by Go to allow users to specify non-BMP Unicode code point without using multiple \x escapes. AST printer is modified to quote non-printable characters in strings to prevent control characters from messing up the terminal.
* core: vm: sqlvm: parser: properly handle errorsTing-Wei Lan2019-05-066-1242/+1637
| | | | | | Instead of ignoring errors, errors returned from external functions are normalized and reported to users. Errors which should be impossible to occur are converted to panic calls.
* core: vm: sqlvm: remove optional interface and add print tag for detailwmin02019-05-063-99/+49
| | | | | | | There are some changes in print ast utility. 1. instead of using optional interface to get detail, use reflect 2. implement a `print` field tag for printer switching detail mode or not
* core: vm: sqlvm: move AST and parser to their own packagesTing-Wei Lan2019-05-068-1837/+2010
| | | | | | | | In order to avoid putting too many different things in single package and allow other projects to reuse the syntax tree and the parser, these two components are moved to different packages and all nodes used in AST are now exported. A lot of comments are added in this commit to pass golint checks.
* core: vm: sqlvm: add a tool to run gofmt on pigeon sourcesTing-Wei Lan2019-05-061-0/+253
| | | | | | This tool is good enough to format our sqlvm grammar file. It is not guaranteed to work for all valid pigeon files, and it only process multi-line Go code blocks.
* core: vm: sqlvm: add sql language parser prototypingwmin02019-05-066-0/+8899
| | | | | | | | | Add sql language parser prototyping along with 1. grammar file implemented with github.com/mna/pigeon 2. ast node struct definition 3. simple parser test which only test if error existed 4. ast printer utility for visualizing parsing result
* core: vm: vm interface (#164)JM2019-05-0613-68/+712
|
* core: vm: extract stateDB and contract outjm2019-05-0624-394/+459
| | | | | Extract stateDB and contract out from core/vm/evm to core/vm, such that other vm type can use the common modules.
* core: vm: refactor file structurejm2019-05-0658-839/+5250
| | | | | For support other vm types, this pr modified the core/vm file structures.
* core: vm: implement transferNodeOwnershipByFoundation (#399)v1.0.1Wei-Ning Huang2019-04-263-0/+93
|
* core, rawdb, dex: improve gov state for syncing (#393)Sonic2019-04-244-3/+105
| | | | * core, rawdb, dex: improve gov state for syncing
* core: update mainnet genesis allocWei-Ning Huang2019-04-231-1/+1
|
* core: update mainnet genesis alloc (#389)Wei-Ning Huang2019-04-231-1/+1
|
* core: update mainnet genesis alloc (#384)Wei-Ning Huang2019-04-221-1/+1
|
* core: vm: add sanity check for updateConfiguration (#383)Wei-Ning Huang2019-04-221-0/+12
|
* core: optimize verify header (#381)Jimmy Hu2019-04-221-11/+76
|
* core: only verify the last tsig of header chain (#380)Jimmy Hu2019-04-201-6/+13
|
* core: vm: fix node offset during transfer (#377)Wei-Ning Huang2019-04-192-13/+9
|
* core: mainnet genesis allocation (#375)Wei-Ning Huang2019-04-181-1/+1
|
* core: vm: add withdrawable (#373)Jimmy Hu2019-04-183-15/+66
|
* core: vm: refine panic flow (#372)Wei-Ning Huang2019-04-171-15/+7
| | | | Move panic call to immediate location of the error to prevent accidententaly panic on other conditions.
* core: update mainnet genesis allocation data and config (#369)Wei-Ning Huang2019-04-162-2/+2
|
* core: vm: clearDKG in resetDKG (#368)Jimmy Hu2019-04-161-0/+8
|
* core: vm: fix emitReported (#367)Wei-Ning Huang2019-04-161-6/+15
|
* core: vm: prevent setting owner to blackhole (#366)Jimmy Hu2019-04-162-1/+19
| | | | | | * core: vm: prevent setting owner to blackhole * core: vm: same for transferNodeOwner
* core: implement DKG success (#362)Jimmy Hu2019-04-154-32/+215
| | | | | | | | * vendor: sync to latest core * core: implmenet dkg success * cmd: govtool: add DKGSuccess
* core: add reset to dkg private key db (#355)Jimmy Hu2019-04-111-8/+18
| | | | | * vendor: sync to latest core * core: dkg private key db
* fixup! Change import go github.com/dexon-foundation/dexonJhih-Ming Huang2019-04-102-2/+2
|
* core: vm: improve MPK reverse lookup performanceWei-Ning Huang2019-04-103-82/+92
| | | | | By storing array offset in the original DKGMasterPublicKeyProposed map, we can locate MPK by proposer ID easily.
* travis, appveyor, Dockerfile: upgrade to Go 1.12Samuel Marks2019-04-091-1/+1
| | | | Include serveral DEXON specific fixes.
* core: fix genesis timestamp (#338)Jimmy Hu2019-04-091-4/+4
|
* core: update mainnet and testnet config and genesis alloc (#337)Wei-Ning Huang2019-04-091-2/+4
|
* core: vm: cache GPK to prevent DoS (#335)Wei-Ning Huang2019-04-091-1/+18
| | | | Cache GPK so one can not slow the chain down with the ProposeCRS method call.
* core: add cache for DKG MPK and complaint (#334)Wei-Ning Huang2019-04-092-36/+90
| | | | | Since deserializing DKG related items are extremely slow (takes about 3 seconds for 100 items), we cache it in the governance interface.
* core: vm: fineFailStopDKG if MPK not registered (#329)Jimmy Hu2019-04-092-12/+29
| | | | | * core: vm: fineFailStopDKG if MPK not registered * prevent on-chain randomness
* core: vm: fix fineFailStopDKG (#328)Jimmy Hu2019-04-091-1/+1
|
* dexcon: correctly fine DKGSet for not producing blocks (#325)Wei-Ning Huang2019-04-091-19/+27
|
* core: vm: implement node public key replacement (#324)Wei-Ning Huang2019-04-093-1/+102
|
* vendor: sync to latest core (#320)Jimmy Hu2019-04-091-4/+4
| | | | | | | | * vendor: sync to latest core * dex, core: fix conflict x
* core: vm: clear DKG the right way (#319)Jimmy Hu2019-04-091-1/+1
|
* core/vm: resetDKG if ttoo less qualified (#318)Jimmy Hu2019-04-091-1/+9
|
* core: vm: make fail stop fine value configurable (#312)Wei-Ning Huang2019-04-093-55/+92
| | | | A node is now quailified only if it has no pending fine and staked >= minstake.
* dex: rebuild connection if dkg reset, core/vm: fix gov (#308)Jimmy Hu2019-04-092-0/+16
| | | | | * dex: rebuild connection if dkg reset * core: vm: fix governance contract
* core: vm: update set size on node info change (#307)Wei-Ning Huang2019-04-091-8/+4
| | | | | | * core: vm: update set size on node info change * fix typo
* core: merge notarySet and DKGSet (#265)Jimmy Hu2019-04-094-97/+27
| | | | | | | | * vendor: sync to latest core * core: merge notarySet and dkgSet * dex: optimize network traffic for finalized block
* core: fix finalize logic (#302)Jimmy Hu2019-04-091-4/+0
|
* core: set extended round block reward to zero (#298)Wei-Ning Huang2019-04-092-1/+66
| | | | | To discourage DKG set from prolonging the round indefinitely, we set the block reward of the extended round to 0. The gas fee is send to the DEXON governance owner for safe keeping and later used by the foundation.
* core: vm: fix DKG reset (#296)Wei-Ning Huang2019-04-092-23/+26
|
* core/vm: remove round from addDKG functions (#279)Jimmy Hu2019-04-095-129/+93
| | | | | | | | * vendor: sync to latest core * core/vm: remove addDKG functions * core: fix conflict
* core: vm: deny duplicate public key from registering (#289)Wei-Ning Huang2019-04-092-1/+20
|
* core: vm: pay fine to governance owner and trigger set size recalculation (#288)Wei-Ning Huang2019-04-091-1/+5
|
* consensus: dexcon: disqualify dead node (#280)Wei-Ning Huang2019-04-094-39/+230
| | | | | | | | | | Since a qualified node might fail stopped, we need to remove them from qualified nodes to maintain network integrity. We do this by inspect the previous round to see if there are dead nodes. A dead node is a notary set node that does not propose any block in the previous round. We disqualify them by fining them so their staked value is 1 wei below minStake. This make them unqualified for being notary set in the follow on rounds.
* core: check coinbase for empty block (#282)Jimmy Hu2019-04-091-6/+13
|
* core: vm: emit event when transfering owner (#277)Wei-Ning Huang2019-04-093-0/+48
|
* core: fix headerchain coinbase validationWei-Ning Huang2019-04-091-2/+7
| | | | Coinbase address is the owner address of the node.
* core: vm: automatically calculate notary set size (#276)Wei-Ning Huang2019-04-093-10/+95
|
* core: vm: add extra checks to prevent DKG spamming (#272)Wei-Ning Huang2019-04-094-62/+177
| | | | Add two maps to check the uniqueness of DKGMasterPublicKey and DKGComplaints to prevent malicious actors from spamming it.
* core: vm: fix naming consistencyWei-Ning Huang2019-04-092-11/+11
|
* core: check reset of dkg types when adding (#268)Jimmy Hu2019-04-091-0/+16
| | | | | | * vendor: sync to latest core * core: check dkg reset
* core: vm: reorder minGasPriceLocWei-Ning Huang2019-04-091-1/+1
|
* core: fill in genesis timstamp and remove dMoment from protocol handshake (#263)Wei-Ning Huang2019-04-092-1/+14
| | | | | | Fill in dmoment as genesis block timestamp. This allow us to remove dMoment check from protocol handshake since genesis block hash itself will protect us against different dMoment.
* dex: implement recovery mechanism (#258)Wei-Ning Huang2019-04-092-5/+5
| | | | | | | | | * dex: implement recovery mechanism The DEXON recovery protocol allows us to use the Ethereum blockchain as a fallback consensus chain to coordinate recovery. * fix
* core: vm: group min gas price with related state variables (#257)Wei-Ning Huang2019-04-093-16/+16
|
* core: vm: implement transfer node ownership (#255)Wei-Ning Huang2019-04-093-9/+83
|
* core: vm: create new oracle contract instance in each call (#251)Wei-Ning Huang2019-04-093-6/+16
| | | | | Since the VM might be called from different source (downloader, RPC, etc.). We need to make the call state separate. Modify the calling sequence so a new oracle contract instance is used on each run.
* vendor: sync to latest core (#253)Jimmy Hu2019-04-092-3/+56
|
* core/vm: use core util to get threshold of tsig (#250)Jimmy Hu2019-04-091-3/+4
|
* params: update testnet config to 40 nodesJimmy Hu2019-04-091-1/+1
|
* vendor: sync to latest core and fix conflictJimmy Hu2019-04-091-2/+2
|
* core: touch verifierCache at 90% of round (#247)Jimmy Hu2019-04-091-2/+35
|
* app: new app test flow (#244)bojie2019-04-096-65/+8
|
* core: vm: remove delegation mechanism (#245)Wei-Ning Huang2019-04-096-997/+263
| | | | | | | | | | | | | The current delegation mechanism are prone to unstaking attack. i.e. a malicious attacker could unstake a small amount from a lot of node it staked before and make them unqualified, which leads to potential failure of the network. Since DEXON does not use consensus like DPoS, node is required to have at least MinStake in order to become a node. Voting mechanism is not required in our system since qualified node does not depends on the number of votes. Instead of managing the delegation mechanism in governance contract, we should let the owner manage the delegation and reward distribution mechanism on their own.
* core: vm: expose CRSRound and DKGRound and fix consistency (#236)Wei-Ning Huang2019-04-093-60/+118
|
* app: refactor app run as single chain (#226)bojie2019-04-091-146/+14
|
* core: fix dkgJimmy Hu2019-04-091-12/+47
|
* params: Change taipei to 40 nodes (#227)Jimmy Hu2019-04-091-1/+1
|
* dex: fill in correct coinbase address (#223)Wei-Ning Huang2019-04-091-0/+9
| | | Also remove app_test.go because of the refactor bojie@ is working on.
* params: Update config (#224)Jimmy Hu2019-04-091-1/+1
| | | | | | * params: Update config * Update taipei to 30 nodes setup
* core: vm: validate addDKGMasterPublicKey caller properly (#220)Wei-Ning Huang2019-04-093-60/+59
| | | | | | There are two keys in the system: one is the owner's key which is used for stake / unstake. The other is the node key which is used for DKG related operations. We need to allow them to be different so fund renmains safe even if the the node key is lost.
* core: vm: flatten governanceWei-Ning Huang2019-04-0910-524/+523
|
* core: sync to latest core (#214)Jimmy Hu2019-04-093-7/+20
| | | | | * vendor: sync to latest core * fix for single chain
* params: add Yilan network (#207)Mission Liao2019-04-093-0/+25
| | | | | | * Add Yilan network * Fixup: remove dummy log
* core: Fixed gas price (#205)Jimmy Hu2019-04-096-2/+96
| | | | | | | | | | * core/vm: update abi * core/vm: add MinGasPrice to gov * params: Add MinGasPrice to Config * dex: SuggestPrice from Governance * test: add minGasPrice to genesis.json * core: check underpriced tx * dex: verify with gas price
* core: set oracle contract's code (#209)Sonic2019-04-092-1/+6
| | | So that other contract can call oracle contract.
* fee: fix wrong gas used (#208)bojie2019-04-091-0/+2
|
* core: Remove K, Phi and NumChains from Governance (#198)Jimmy Hu2019-04-095-174/+37
| | | | | | * change default sync_core.sh * vendor: sync to latest core * core: Remove K, Phi and NumChain
* copy testnet config to taipeiJimmy Hu2019-04-091-1/+1
|
* core/vm: fix getConfigState (#203)Jimmy Hu2019-04-091-4/+3
|
* vm: reset DKG (#190)Jimmy Hu2019-04-094-70/+562
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * vm: Update gov abi * vm: Add DKGResetCount to state helper * vm: add getter * vm: Add DKGReset event * vm: Add resetDKG method * vm: check resetDKG criteria * vm: Add new CRS * vm: add helper pop2DByteArray * vm: emit event * vm: Add CoreMock to GovernanceContract * vm: bug fix * add test for resetDKG * vm: Add test * fix test * Modify mock interface
* transaction: use all transaction gas to reduce attack intention (#180)bojie2019-04-091-1/+25
| | | The ci test in /tests will use origin evm logic.
* core/vm: modify Withdrawn event and add NodeRemoved event (#179)Jimmy Hu2019-04-092-4/+31
| | | | | | * core/vm: add delegatorAddr to withdrawn event * core/vm: update gov abi * core/vm: add NodeRemoved event
* core: vm: refactor governance and add node info oracle (#174)Wei-Ning Huang2019-04-095-682/+953
|
* core: vm: Add amount to undelegate event (#176)Jimmy Hu2019-04-092-4/+9
|
* core: vm: more change to the randomness calculation (#175)Wei-Ning Huang2019-04-091-5/+5
| | | | To prevent attacker from sending TX through a intermediate contract. Always use the original tx sender's adddress and nonce.
* core: vm: modify randomness calculation algorithm (#173)Wei-Ning Huang2019-04-092-3/+7
| | | | | | | | | | | | | | | | | | | | | | | | The original algorithm used for calculating algorithm is vulnerable to cross context re-entry attack. Example as follows: contract B { event Value(uint256 value); uint256 public value; function call() public { value = rand; emit Value(value); } } contract A { function randTwice(address bAddr) public { B b = B(bAddr); b.call.gas(100000)(); b.call.gas(100000)(); } } The two `b.call` will result in the same randomness value. This commit fix the issue by recording a called index used to store how many times opRand is called, and use it as argument to the Keccak call.
* consensus: dexcon: snapshot round height when finalizing block (#170)Wei-Ning Huang2019-04-093-106/+0
| | | | Instead of having BP to send a tx to register the round height, just modify the state when finalizing block.
* core, dex/downloader: polish headers verification and blocks insertion logic ↵Sonic2019-04-098-509/+614
| | | | | | | | (#168) Refactor GenerateDexonChain function, move governance tx logic to the user of GenerateDexonChain (testchain_test.go) and move fake node set code to FakeDexcon.
* travis: re-encrypt GCP credential file (#165)bojie2019-04-091-1/+1
|
* params: update testnet genesis and dMomentWei-Ning Huang2019-04-091-2/+1
|
* core, dex: use block hash as witness data (#160)Sonic2019-04-095-50/+17
| | | | | | | | | | Using only state root and receipt root as witness data can not protect other fields in block header, ex: bloom, difficulty, gas limit, gas used... So that everyone can manipulate these fields to create as many valid blocks at the same height as he want. Although this will not effect the state, one can spam us when syncing. Using block hash as witness data can solve this.
* blockchain: add mutex lock to prevent fork (#159)bojie2019-04-091-1/+6
|
* core: sync to latest core (#158)Jimmy Hu2019-04-091-1/+1
| | | | | | * vendor: sync to latest core * param: Update config * core: update genesis alloc
* app: fix reward bug with empty block (#155)bojie2019-04-091-3/+2
| | | | | | | | * app: fix reward bug with empty block * make block generation consistent * revert change to dmoment in genesis.json
* app: remove pending block logic (#149)bojie2019-04-096-296/+197
|
* core: update taipei allocJimmy Hu2019-04-091-1/+1
|
* params: update genesis configWei-Ning Huang2019-04-093-16/+21
|
* consensus: implement DEXON cryptoeconomics v4.0 (#145)Wei-Ning Huang2019-04-095-57/+153
|
* core: vm: add totalSupply and totalStaked in the governance contract (#144)Wei-Ning Huang2019-04-094-35/+144
| | | | | | | Add totalSupply and totalStaked in the governance contract for the preperation of DEXON cryptoeconomics 4.0. Also removed the unstaked variable in node info and improve tests for delegate/undeleate.
* core: vm: move governance abi to a separate file (#143)Wei-Ning Huang2019-04-092-1053/+1074
|
* core: vm: emit events for more governance actions (#142)Wei-Ning Huang2019-04-091-0/+145
|
* core: update testnet genesis_allocJimmy Hu2019-04-091-1/+1
|
* core: update taipei network genesis allocWei-Ning Huang2019-04-091-1/+1
|
* core: fix corner case when initializing round height (#134)Sonic2019-04-091-1/+1
|
* app: implement logic for prepare/verify correctly when chain number change ↵bojie2019-04-095-19/+122
| | | | (#118)
* core: vm: implement byzantine reporting mechanism (#128)Wei-Ning Huang2019-04-092-48/+578
|
* params: update taipei genesis config (#130)Wei-Ning Huang2019-04-091-1/+1
|
* core, indexer, dex: fix DexconApp block deliver after synced (#122)Sonic2019-04-091-5/+6
| | | | | | | When starts a bp node to sync with the network, bc.chainLastHeight map may not be initialized yet. Just return error if we can not get chain last height when preparing payload and verify block.
* core: fix vm wrong round height context (#124)Sonic2019-04-091-0/+45
| | | | Let roundHeightMap be corret whenever we starting a bp node.
* core: update taipei testnet genesis config and alloc (#119)Wei-Ning Huang2019-04-091-1/+1
|
* core: vm: add missing unittests for nodes/delegators (#116)Wei-Ning Huang2019-04-092-3/+13
|
* params: update taipei testnet genesis and config (#113)Wei-Ning Huang2019-04-092-3/+5
|
* core/vm: Add fine to governance. (#107)Jimmy Hu2019-04-092-132/+292
| | | | | | | | * core/vm: Add Fined field to nodeInfo. * core/vm: Add PayFine to Governance * Not qualify if staked-fine < minStake() * Add test for fine * Update genesis hash
* core: add database/sql support for more types (#102)Meng-Ying Yang2019-04-092-8/+112
| | | | | | | | | * core: types: add database/sql support for BlockNonce * common: add database/sql support with Big New Big type is declared to let big.Int support database/sql by implementing Scan() and Value() on new type.
* vendor: sync DEXON core and fix conflicts/missings (#101)Mission Liao2019-04-091-4/+6
| | | | | | | Merging these commits in DEXON consensus core: - https://github.com/dexon-foundation/dexon-consensus/commit/dce509a13ef5873b9cae3c1cabdb97e219b6fb7d - https://github.com/dexon-foundation/dexon-consensus/commit/6d1c1aeea0d3e75d10cbb2712c68b4c422ba8ba6 - https://github.com/dexon-foundation/dexon-consensus/commit/c1ed57c4abaf1f4758e52f082bb7114ad00c8b39
* core/types: SigCache with a limited size (#98)Jimmy Hu2019-04-092-21/+33
| | | | | | * core/types: SigCache with a limited size * minor tweaks
* core, dex, internal: block proposer syncing (first iteration) (#96)Sonic2019-04-092-57/+2
| | | | | | | | | | | | | | | | | | | | | | * dex, internal: block proposer syncing (first iteration) * core: find block from db if not in memory This fix handles stopping proposing and then restarting * core: no need to reorg when reset Dexon will not fork. This commit also fix when a block confirm but its parent is not in db yet, during restarting proposing. * dex: always accept NewBlockMsg, NewBlockHashesMsg We need to accept NewBlockMsg, NewBlockHashesMsg to sync current block with other peers in block proposer mode when syncing lattice data. It's a waste when the node is synced and start proposing. Todo: control msg processing on/off more granular, accept NewBlockMsg, NewBlockHashesMsg when syncing, but stop when synced.
* core: vm: Add `MPKReady` to governance (#97)Jimmy Hu2019-04-092-0/+174
| | | | | | * core/vm: Add DKGMPKReady * param: update GenesisHash * vendor: sync to latest core
* core/vm: fix nodes method in governanceJimmy Hu2019-04-091-1/+1
|
* dex: remove duplicate declaration of WitnessData (#92)Wei-Ning Huang2019-04-092-7/+0
| | | | Remove duplicate declaration of WitnessData and remove the TxHash field in witness data since it does not need to be witnessed.
* core: vm: add undelegate fund lockup mechanism (#94)Wei-Ning Huang2019-04-093-41/+236
| | | | | Only allow a user to withdraw funds after a certain lockup period. This way, the fund of a bad actor could be confiscated before he could escape.
* core: update genesis allocJimmy Hu2019-04-091-1/+1
|
* vendor: sync to latest core (#91)Mission Liao2019-04-093-1/+108
| | | | | | - Implement new methods in db to cache DKG private key. - Implement new methods in db to cache compaction chain tip.
* cache: prune cache correctly (#88)bojie2019-04-091-2/+1
|
* core: governance interface should return correct DKG master public keys (#85)Wei-Ning Huang2019-04-092-24/+21
|
* core, dex: polish sync (#75)Sonic2019-04-091-0/+3
| | | | | | | | | | | | | | | - Broadcasting blocks at chain head event is not correct when the full node is not running in block proposer mode. Introduce NewFinalizedBlockEvent, this event is post by the full node which runs in block proposer mode when a block is witnessed and resulting in some blocks are considered finalized. - Non block proposer node will still broadcast blocks at the following moment (same as ethereum): 1. a sync with a peer is terminated successfully 2. a block passes the fetcher's header check during inserting blocks 3. a block is successfully inserted by fetcher - Don't trigger a sync when we are not behind other peers more than acceptable distance. Fetcher is able to cover this.
* core, dex: Timeout for prepare payload (#72)Jimmy Hu2019-04-092-8/+13
| | | | | | * Timeout on prepare payload * Leave 2 CPU for others * Add hardLimit and softLimit to PreparePayload
* app: add app test case and benchmark (#66)bojie2019-04-093-13/+268
|
* dex: verify header that imported from fetcher (#68)Sonic2019-04-091-0/+4
|
* Fix lintWei-Ning Huang2019-04-092-3/+3
|
* core: Update genesis alloc. (#63)Jimmy Hu2019-04-091-1/+1
|
* core: panic if fork found when inserting header chain (#61)Wei-Ning Huang2019-04-091-1/+6
|
* tests: fix testsWei-Ning Huang2019-04-091-1/+10
|
* dex: fix testsWei-Ning Huang2019-04-091-0/+2
|
* core: fix testsWei-Ning Huang2019-04-092-4/+5
|
* core: vm: fix power2 table calculation (#50)Wei-Ning Huang2019-04-091-3/+3
|
* core: commit states at snapshot height (#49)Sonic2019-04-091-2/+7
|
* core: add Taipei testnet (#47)Wei-Ning Huang2019-04-091-1/+13
| | | | Add a new testnet named Taipei.
* core: various changes on tps tuning (#46)Wei-Ning Huang2019-04-095-11/+14
|
* core: increase tx pool sizeWei-Ning Huang2019-04-091-4/+4
|
* core, dex, downloader: refactor governanceSonic2019-04-092-25/+61
|
* core, dex, dex/downloader: restore insertChain to upstream versionSonic2019-04-092-20/+18
| | | | | Also rename InsertChain2, insertChain2, InsertHeaderChain2, ValidateHeaderChain2
* dex: implement downloader for dexSonic2019-04-091-0/+5
| | | | | | | | | | | We need governance state to verify block's signature (randomness), but in ethereum fast sync mode, eth downloader only downloads the whole state of pivot block, so we don't have governance state to verify the downloaded block that is before pivot block if we don't processing transaction. To avoid running transactions, dex downloader also downloads the governance state (merkle proof and storage) at snapshot height of each round, so that we can verify blocks in fast sync mode.
* core: implement insert chain, headerchain logicSonic2019-04-093-0/+521
|
* core: support extracting governance state from state trieSonic2019-04-093-0/+73
|
* core: add global signature cache and improve concurrency (#42)Wei-Ning Huang2019-04-094-53/+86
| | | | | From the go trace result, the bottleneck hides in the lock of StoreTxCache. To improve this, we update the cache in a batched fassion.
* core, dex: Batch process touchSender. Lower priority for tx. (#41)Jimmy Hu2019-04-091-13/+19
| | | | | | | * dex: Add a tx queue in broadcast * Modify queue parameter * Priority select all messages except tx * Batch process TouchSenders
* dex: add BlockDB, which implements consensus core's blockdb.BlockDatabase (#36)Sonic2019-04-092-0/+58
|
* core: vm: change offset type to int256Wei-Ning Huang2019-04-091-2/+7
| | | | | Since we use -1 to represent the offset of empty value, we should make the return type int256 instead of uint256.
* governance: implement delegate/undelegate function and add tests (#33)Wei-Ning Huang2019-04-094-111/+1152
| | | | | Implement delegate/undelegate function to allow others to delegate it's fund to stake on a node. Also added governance contract tests.