Earticle

블록체인 기술은 모든 거래를 축적하고 저장하며 모든 트랜잭션의 내용을 확인하기 위해 데이터 자체는 압축되 지만 확장성이 제한된다. 또한 거래 유형별로 별도의 검증 알고리즘을 사용하기 때문에 거래 규모가 커질수록 검증 부담 이 커진다. 기존 블록체인은 사양이 낮은 서버를 사용하여 블록 싱크가 되지 않기 때문에 네트워크에 참여할 수 없다. 이러한 문제로 인해 시간이 지날수록 블록체인 네트워크의 데이터 크기가 커지고 자원이 풍부한 사용자를 제외하고는 네트워크 참여가 불가능하다. 따라서 본 논문에서는 일반 동작 검증을 위한 영지식 증명 알고리즘을 연구함으로써 트랜 잭션을 향상시켰다. 이 시스템에서는 일반 동작 검증이 가능한 영지식 회로 생성기 설계와 검증자 및 검증자의 최적화도 수행하였다. 그리고 키 생성을 최적화하기 위한 알고리즘을 개발하였다.

Recently, blockchain technology accumulates and stores all transactions. Therefore, in order to verify the contents of all transactions, the data itself is compressed, but the scalability is limited. In addition, since a separate verification algorithm is used for each type of transaction, the verification burden increases as the size of the transaction increases. Existing blockchain cannot participate in the network because it does not become a block sink by using a server with a low specification. Due to this problem, as the time passes, the data size of the blockchain network becomes larger and it becomes impossible to participate in the network except for users with abundant resources. Therefore, in this paper, we are improved transaction as studied the zero knowledge proof algorithm for general operation verification. In this system, the design of zero-knowledge circuit generator capable of general operation verification and optimization of verifier and prover were also conducted.

Diverse types of malicious code such as evasive Server-side Polymorphic are developed and distributed in third party open markets. The suspicious new type of polymorphic malware has the ability to actively change and morph its internal data dynamically. As a result, it is very hard to detect this type of suspicious transaction as an evidence of Server-side polymorphic mobile malware because its C&C server was shut downed or an IP address of remote controlling C&C server was changed irregularly. Therefore, we implemented Simulated C&C Server to aggregate activated events perfectly from various Server-side polymorphic mobile malware. Using proposed Simulated C&C Server, we can proof completely and classify veiled server-side polymorphic malicious code more clearly.

[연구목적]법인이 비특수관계인과 거래를 하였고, 이 거래를 통하여 거래의 당사자가 아닌 특수관계인이 이익을 보았다면 이에 대하여 법인세법상 부당행위계산 부인 규정을 적용하여 과세가 가능한지에 대하여 대법원은 신중한 입장을 유지하고 있다. 이에 본 연구에서는 사건을 재구성하여 관련 규정 등의 적용을 논의해 본 후, 장기적 이익 관점에 따른 ‘경제적 합리성’과 과세요건에 대한 입증 책임을 살펴봄으로써 대상판결의 결론을 검토해 보고자 연구하였다. [연구방법]본 연구는 특성상 문헌연구를 바탕으로 하여, 기존의 연구문헌, 대법원 판례 및 관련 법률 규정 등을 검토하여 연구하였다. [연구결과]장기적 관점이라는 이유 외에 다른 ‘경제적 합리성’을 찾을 수 없고, 특수관계인이 관여한 거래 가액대로 거래되어 이에 대한 ‘경제적 합리성’에 대한 설명이 부족하다면 이의 입증책임은 과세관청이 아닌 납세자에게 묻는 것으로 변경할 필요가 있다. [연구의 시사점]특수관계인이 관여한 비특수관계인간 거래에 대하여 법인세법상 부당행위계산 부인을 적용함에 있어 법적 안정성과 예측가능성을 확보함과 동시에 실질과세의 원칙 및 공평한 조세부담이 되도록 이를 보완할 수 있다.

[Purpose]The Supreme Court maintains a cautious position as to whether it is possible to tax a corporation by applying the provisions for denial of unfair transaction and calculation under the Corporate Tax Law if it has made a transaction with an unrelated party and in case a related party who is not a party to the transaction is benefited through the transaction. Therefore, this study reviewed the conclusion of court cases by discussing the application of related regulations after reconstructing the case, and examining the ‘economic rationality’ from the long－term profit perspective and the burden of proof for the taxation requirements. [Methodology]This study was conducted by reviewing existing research literatures, Supreme Court precedents, and related regulations due to the nature of the study. [Findings]If no other ‘economic rationality’ can be found other than existing the long－term profit, and there is a lack of ‘economic rationality’ since the transaction is made according to the transaction value involved by a related party, it is necessary to change the burden of proof from tax authority to taxpayer. [Implications]This study contributes to ensure legal stability and predictability, and at the same time to ensure the principle of substance over form and fair tax burden in applying the provisions for denial of unfair transaction and calculation under the Corporate Tax Law to unrelated party transaction involving related party.